基于改进Markov模型软件测试策略

来源 :指挥控制与仿真 | 被引量 : 0次 | 上传用户:lixu0033
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对已有软件测试Markov模型与工程实践不符的情况,通过引入软件需求覆盖率改进Markov模型。在改进的Markov模型基础上,本文以软件测试过程中测试总代价最小为控制目标,采用交叉熵方法修正测试剖面,由优化测试剖面生成测试用例序列。仿真结果表明这种方法能够有效地降低软件测试总代价,是一种有效的软件测试方法。
其他文献
针对随队干扰动态资源分配问题进行研究。首先,基于任务剖面形式化描述方法对随队干扰任务进行分解,分析随队干扰任务决策流程。通过构建干扰资源动态分配机制,建立动态资源
目的观察温通散治疗糖尿病肢端坏疽早期病变的疗效,并探讨其改善患者下肢血管神经病变的机制.方法 54例2型糖尿病早期肢端病变患者在内科一般治疗的基础上,治疗组30例外用温
从验证的概念讨论出发,针对“指挥信息系统验证”,从概念和含义、产品和结果、目的和作用等多方面进行了详细解读,给出了较详细的验证方法和步骤,并就验证与测试的区别和关联进行
词汇的多义现象是人类语言中普遍存在的现象,是多年来语言学研究的热门课题。在漫长的历史长河中,人们试图从各个角度对多义现象做出解释。但是他们的研究仅仅局限在词汇学领
针对装备寿命试验中失效样本量比较小的情形,基于应力冲击思想,提出了一种基于失效选择机制的装备系统可靠性评估定量分析方法。首先引入图示评审技术(Graphic evaluation an
联合试验训练是一种新的试验训练模式,其给靶场解决目前面临的试验训练任务挑战提供了新的思路和方向,但构建和实现联合试验训练能力需要解决一些关键技术问题。因此,从美军一个