检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:惠战伟[1] 黄松[1,2] 张婷婷[1] 刘剑豪[3] HUI Zhan-wei HUANG Song ZHANG Ting-ting LIU Jian-hao(Software Testing and Evaluation Centre,College of Command Information System,PLA University of Science and Technology, Nanjing 210007, China PLA Military Training Software Testing and Evaluation Center,Nanjing 210007 ,China Air Force Early Warning Aeademy,Wuhan 430019,China)
机构地区:[1]解放军理工大学指挥信息系统学院软件测评中心,南京210007 [2]解放军军事训练软件测评中心,南京210007 [3]空军预警学院,武汉430019
出 处:《计算机科学》2016年第10期57-62,共6页Computer Science
基 金:国家高技术研究发展计划"863"项目(2009AA01Z402);江苏省自然科学基金项目(BK20141072;BK2012059;BK2012060)资助
摘 要:针对传统的蜕变测试模型MTM存在的局限性,提出了一种基于蜕变关系的测试模型MRTM。首先通过对比分析,指出了MRTM的适用范围等特点;其次,针对MTM和MRTM都面临的失效测试用例难以确定的难题,提出了一种基于可疑度计算的蜕变测试失效测试用例定位方法 FTCL-MT。FTCL-MT作为对已有测试模型的补充,能够在蜕变关系不满足的情况下实现精确定位失效测试用例,从而能够为现有的故障定位技术提供支持。最后,通过实验验证了FTCL-MT方法的有效性。Aiming at the limitations of traditional metamorphic testing model MTM, this paper proposed a testing model MRTM based on metamorphic relation. Through comparative analysis, firstly, characteristics such as scope of its appli- cation are pointed out. Secondly, in view of the problem that the invalid testing case is hard to determine that both MTM and MRTM are facing, a failed test case localization method of metamorphic testing (FTCL-MT) based on dubiety com- putation was proposed. As a supplement to the existing testing model, FTCL-MT is helpful to achieve precise positio- ning of invalid test cases in the case that CMR is not satisfied, so that it can provide support for existing fault location technologies. Finally, experiments show the effectiveness of FTCL-MT.
分 类 号:TP391[自动化与计算机技术—计算机应用技术]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.30