Test Case Generation Based on Program Invariant and Adaptive Random Algorithm

Yuan Yuan,Zeng Fanping,Zhu Guanmiao,Deng Chaoqiang,Xiong Neng
DOI: https://doi.org/10.1007/978-3-642-22418-8_38
2011-01-01
Abstract:Testing is a critical activity to find software errors. And choosing an effective test suite is the key problem in software testing area. Program invariant, as an attribute of program, can record the implementation state of test case very well and reveal the coverage of program data. In this paper, we integrate adaptive random testing and invariant technology, and present a new method which makes full use of the feedback information of program invariant and invalid case suite to generate the next case. Experiment results show that, compared with other similar methods, running for the same time, our method can achieve higher coverage and faster convergence speed.
What problem does this paper attempt to address?