10.3969/j.issn.2095-2163.2013.01.011
基于Daikon与C++Test的自动测试用例集约简工具生成
程序似然不变量是程序中隐含的属性,可以应用于程序验证、软件测试技术、逆向工程等领域.针对自动化测试工具C++Test产生的测试用例集,利用程序不变量分析工具Daikon判断这些测试用例是否改变了当前的不变量;并将两种工具结合生产一种自动化测试用例集约简工具CDRT(C++Test And Daikon Reduction Testing),从而达到约简测试用例集的效果,再通过变异测试工具INSURE++对简化后的测试用例集进行评估.实验结果表明,CDRT工具能有效地约简测试用例集.
Daikon、C++Test、测试用例集约简、变异测试
3
TP391(计算技术、计算机技术)
2013-08-06（万方平台首次上网日期，不代表论文的发表时间）
共4页
39-41,44
