Towards Generating Local High-Coverage Tests for Evolving Software

Test suite augmentation techniques focus on identifying test requirements or creating new tests to adequately exercise the effects of program changes. To reveal the effects of changes as much as possible, this paper propose a test suite augmentation approach, a technique that aims at covering as many as possible longer dependence chains related to the changes in a cost-effective way. In particular, the scope of thorough dependence checking is limited to the changed function of the program under test. A test generation approach that covers the specified function in the program under test at a local high-level coverage is designed. Preliminary experiments show that our approach can reveal most effects of changes with fewer tests.

[1]  Zhenkai Liang,et al.  Test generation to expose changes in evolving programs , 2010, ASE '10.

[2]  Sarfraz Khurshid,et al.  Directed incremental symbolic execution , 2011, PLDI '11.

[3]  Nikolai Tillmann,et al.  eXpress: guided path exploration for efficient regression test generation , 2011, ISSTA '11.

[4]  Koushik Sen,et al.  DART: directed automated random testing , 2005, PLDI '05.

[5]  Dawson R. Engler,et al.  KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs , 2008, OSDI.

[6]  Alessandro Orso,et al.  Test-Suite Augmentation for Evolving Software , 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering.

[7]  Gregg Rothermel,et al.  Supporting Controlled Experimentation with Testing Techniques: An Infrastructure and its Potential Impact , 2005, Empirical Software Engineering.

[8]  Zhihong Xu,et al.  Directed test suite augmentation , 2011, 2011 33rd International Conference on Software Engineering (ICSE).

[9]  Tao Xie,et al.  DiffGen: Automated Regression Unit-Test Generation , 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering.