Guided path exploration for regression test generation

Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan De Halleux, Wolfram Schulte

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Regression test generation aims at generating a test suite that can detect behavioral differences between the original and the modified versions of a program. Regression test generation can be automated by using Dynamic Symbolic Execution (DSE), a state-of-the-art test generation technique, to generate a test suite achieving high structural coverage. DSE explores paths in the program to achieve high structural coverage, and exploration of all these paths can often be expensive. However, if our aim is to detect behavioral differences between two versions of a program, we do not need to explore all paths in the program as not all these paths are relevant for detecting behavioral differences. In this paper, we propose a guided path exploration approach that avoids exploring irrelevant paths and gives priority to more promising paths (in terms of detecting behavioral differences) such that behavioral differences are more likely to be detected earlier in path exploration. Preliminary results show that our approach requires about 12.9% fewer runs on average (maximum 25%) to cause the execution of a changed statement and 11.8% fewer runs on average (maximum 31.2%) to cause program-state differences after its execution than the search strategies without guidance.

Original languageEnglish (US)
Title of host publication2009 31st International Conference on Software Engineering - Companion Volume, ICSE 2009
Pages311-314
Number of pages4
DOIs
StatePublished - Oct 12 2009
Externally publishedYes
Event2009 31st International Conference on Software Engineering, ICSE 2009 - Vancouver, BC, Canada
Duration: May 16 2009May 24 2009

Publication series

Name2009 31st International Conference on Software Engineering - Companion Volume, ICSE 2009

Other

Other2009 31st International Conference on Software Engineering, ICSE 2009
CountryCanada
CityVancouver, BC
Period5/16/095/24/09

ASJC Scopus subject areas

  • Software

Cite this

Taneja, K., Xie, T., Tillmann, N., De Halleux, J., & Schulte, W. (2009). Guided path exploration for regression test generation. In 2009 31st International Conference on Software Engineering - Companion Volume, ICSE 2009 (pp. 311-314). [5071009] (2009 31st International Conference on Software Engineering - Companion Volume, ICSE 2009). https://doi.org/10.1109/ICSE-COMPANION.2009.5071009