切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
软件Markov测试的使用链及测试充分性研究
软件Markov测试的使用链及测试充分性研究
来源 :舰船电子工程 | 被引量 : 0次 | 上传用户:jewelryt40b
【摘 要】
:
基于有限Markov链理论,形式化的描述了软件统计测试,提出了一种频率计数算法,它能够同时解决软件Markov测试中存在的两个难题:1.建立精确的使用链(或用户剖面);2.确定满足测
【作 者】
:
曹鹏
罗自强
【机 构】
:
海军工程大学管理科学工程系,海军工程大学文理学院
【出 处】
:
舰船电子工程
【发表日期】
:
2004年5期
【关键词】
:
Markov测试
使用链
测试充分性
Markov testingusage chainstesting adequacy
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于有限Markov链理论,形式化的描述了软件统计测试,提出了一种频率计数算法,它能够同时解决软件Markov测试中存在的两个难题:1.建立精确的使用链(或用户剖面);2.确定满足测试充分性的最优用例数.算例表明该算法是十分有效的.
其他文献
戒烟对吸烟哮喘患者肺功能和哮喘控制的影响
目的 旨在探讨戒烟对吸烟哮喘患者肺功能和哮喘控制的影响.方法 将78例吸烟哮喘患者采用连续入组的方式:30例继续吸烟(吸烟组)和48例自愿戒烟.自愿戒烟者采用药物辅助戒烟2周,其
期刊
戒烟
哮喘
肺功能
哮喘控制
基于虚拟仪器的自动测试仪的开发与设计
介绍了虚拟仪器概念及某自动检测仪的特点,并详细论述了某自动检测系统的设计原理、硬件结构和软件设计。
期刊
虚拟仪器
自动测试仪
设计
自动检测
专家系统
数据采集
鱼雷光纤线导系统传输波长的选择研究
在介绍鱼雷光纤线导系统的组成及功能的基础上,针对鱼雷光纤线导系统存在动态放线损耗和水压变化损耗的特点,从影响光纤传输性能的角度入手,分析了光纤损耗和光纤色散的影响,
期刊
线导鱼雷
光纤制导
弯曲损耗
光纤色散
wire-guided torpedo fiber optical guidance bend loss dispers
交直流输变电设备安全监控信息集成模型研究
交直流输变电设备的安全性及可靠性是保障电网安全运行的重要基础。对交直流输变电设备进行安全监控,有助于及时发现故障并进行维护检修。在国内外交直流输变电设备监测技术
期刊
变电设备
输电设备
监测
信息集成
系统模型
transformation equipment transmission equipment monitorin
基于多信号模型的舰船电子装备测试性分析和评估
针对舰艇电子装备测试性设计特点,结合一种简单而有效的系统建模表示方法多信号模型,提出采用一种基于多信号模型的舰艇电子装备的测试性分析和评估方法。并以某型舰船电子装
期刊
多信号模型
测试性
分析
评估
multi-signal model testability analysis evaluation
数据库直接基于SQL的XML动态发布方案
网络环境下的数据库共享与集成一体化解决方案讨论是一个热门话题.XML的出现为Internet上数据存储和数据交换提供了很大的发展空间.提出了数据库直接基于SQL的XML动态发布方
期刊
XML
关系数据库管理系统
SQL
数据库共享发布
XMLRDBMSSQLdatabase sharing and releasing
基于切换模型极限学习机的超短期负荷预测
针对极限学习机算法中输出波动大与模型不稳定的问题,提出采用切换模型极限学习算法进行超短期电力负荷预测的方法。该算法通过切换模型准则,将建立的多个神经网络模型分为误
期刊
极限学习机
切换模型
负荷预测
更新模型
预测精度
extreme learning machine switching model load forecast
首钢在香港的经营实践及策略
首钢在香港的经营实践及策略首钢研究与开发公司吴祖尧1992年10月首钢收购香港东荣公司的股份后,在不到一年的时间内,首钢不但已收回在港的全部投资,而且还在香港拥有市值近50多亿港元的
期刊
首钢
香港
经营实践
经营策略
钢铁企业
中国
最小最大时距项目网络在生产调度建模问题中的应用
将最小最大时距的概念引入网络计划,提出一种面向订单的生产调度问题的简化建模方法.该法简洁,概念清楚,将一般的搭接网络的内涵进行扩展,是一种较好的现代网络计划建模算法.
期刊
生产调度
模型
最小时距
最大时距
订单
应用
AON网络
AOA网络
液化气运输船液货监控系统的设计研究
着重介绍了液化气运输船液货安全监控系统的设计特点,讨论了监测点的设置问题及液位传感器的选型研究;提出了针对不同的传感器选配可编程序控制器功能模块的方法,使系统的组成完
期刊
液化气运输船
液货监控系统
可编程序控制器
与本文相关的学术论文