The Test Case Suite Reduction Tools based on Daikon and C++Test
Tang Chuangwei · Intelligent Computer and Applications · 2013
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.