摘要
程序似然不变量是程序中隐含的属性,可以应用于程序验证、软件测试技术、逆向工程等领域。针对自动化测试工具C++Test产生的测试用例集,利用程序不变量分析工具Daikon判断这些测试用例是否改变了当前的不变量;并将两种工具结合生产一种自动化测试用例集约简工具CDRT(C++Test And Daikon Reduction Testing),从而达到约简测试用例集的效果,再通过变异测试工具INSURE++对简化后的测试用例集进行评估。实验结果表明,CDRT工具能有效地约简测试用例集。
The pogram likely invariant is implied in the program properties, and can be applied to the range of program verification and software test. According to the Test case suite generated by Test automation tool C＋＋ Test, the paper uses Daikon to judge whether these test cases changes the invariant, then combines the two tools to produce another tool called CDRT,so as to achieve the effect of test suite re- duction. At last, the reduced test case suites are assessed by Insure＋＋. The experimental results show that the CDRT is effective.
出处
《智能计算机与应用》
2013年第1期39-41,44,共4页
Intelligent Computer and Applications
作者简介
朱玲莉（1987一），女，湖南益阳人，硕士研究生，主要研究方向：软件测试；
刘丽娜（1987一），女，湖南沅江人，硕士研究生，主要研究方向：软件测试；
汤创为（1986一），男，湖南沅江人，硕士研究生，主要研究方向：可信网络。
