【摘 要】
：
针对传统的蜕变测试模型MTM存在的局限性,提出了一种基于蜕变关系的测试模型MRTM。首先通过对比分析,指出了MRTM的适用范围等特点;其次,针对MTM和MRTM都面临的失效测试用例难
【机 构】
：
解放军理工大学指挥信息系统学院软件测评中心,解放军军事训练软件测评中心,空军预警学院
【基金项目】
：
国家高技术研究发展计划“863”项目(2009AA01Z402);江苏省自然科学基金项目(BK20141072,BK2012059,BK2012060)资助
论文部分内容阅读
针对传统的蜕变测试模型MTM存在的局限性,提出了一种基于蜕变关系的测试模型MRTM。首先通过对比分析,指出了MRTM的适用范围等特点;其次,针对MTM和MRTM都面临的失效测试用例难以确定的难题,提出了一种基于可疑度计算的蜕变测试失效测试用例定位方法 FTCL-MT。FTCL-MT作为对已有测试模型的补充,能够在蜕变关系不满足的情况下实现精确定位失效测试用例,从而能够为现有的故障定位技术提供支持。最后,通过实验验证了FTCL-MT方法的有效性。
其他文献
随着信息化水平的提升,传统的以手工收集、单机分析为主的审计数据分析和挖掘已难以有效应对日趋庞大的数据规模。鉴于此,审计实务界积极探索与创新,提出"数据式审计"的同时,
目的总结2例运动神经元患者呼吸机治疗2年的护理体会。方法根据体格检查的结果以及患者的自身情况，评估患者的肌力，营养，感觉等给予合理的心理指导，有效的气道湿化，适当的功能锻炼
新时期加强音乐学科教学与信息技术的整合，是时代发展的必然趋势。然而，要建立一套适合当前音乐教学实践的整合模式，必须依靠创新整合路径，来实现两者的有效整合。结合音乐教学，就
<正>根据国家质量监督检验检疫总局2015年第96号公告,批准禄丰县申报的禄丰香醋地理标志产品自2015年8月10日起实施保护。禄丰香醋是云南省的一个地方传统特色调味品,自明朝
在室内设计中，手绘一直被认为是设计师应该具备的一项专业技能。而随着计算机应用技术的普及，软件绘画在室内设计中已经占据主导地位，手绘技能的应用逐渐被忽视，学生的手绘技能日
目的:探讨音乐干预对急性脑卒中后抑郁患者康复疗效的影响。方法:采用随机对照的方法,选择住院的脑卒中后抑郁患者,对照组50例,入院后给予常规的药物、相应的神经促通技术及
冷战结束后，拉美前宗主国—西班牙和拉丁美洲的关系，正在进入一个前所未有的良好发展的新时期。在经贸领域，西班牙对拉美（ 美国的“后院”） 正处于进攻态势。从西班牙与拉美关系的
长寿湖是“一五”期间重点工程狮子滩水电站拦河大坝建成以后而形成的人工淡水湖,已发展为集饮用、灌溉、旅游、养殖、发电多种功能为一体的水体。为探讨长寿湖浮游植物群落
为满足国内10kV配网带电线路带电作业的要求,研制了高压带电作业机器人系统,包括机器人子系统和作业人员平台子系统等两大部分组成,可最大限度满足带电作业要求。该机器人系
本研究是基于武警部队开展勤务训练现状中存在的困境展开分析的,当前最主要的问题是,部队分布点多、线长、面广,勤务标准难以统一;第二,现有的部队教育方式较为单一,导致基层