Evacon: A framework for integrating evolutionary and concolic testing for object-oriented programs

Kobi Inkumsah, Tao Xie

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

Abstract

Achieving high structural coverage such as branch coverage in object oriented programs is an important and yet challenging goal due to two main challenges. First, some branches involve complex program logics and generating tests to cover them requires deep knowledge of the program structure and semantics. Second, covering some branches requires special method sequences to lead the receiver object or non-primitive arguments to specific desirable states. Previous work has developed the concolic testing technique (a combination of concrete and symbolic testing techniques) and the evolutionary testing technique to address these two challenges, respectively. However, neither technique was designed to address both challenges at the same time. To address the respective weaknesses of these two previous techniques, we propose a novel framework called Evacon that integrates evolutionary testing (used to search for desirable method sequences) and concolic testing (used to generate desirable method arguments). We have implemented our framework and applied it on six classes taken from the Java standard library and basic data structures. The experimental results show that the tests generated using our framework can achieve higher branch coverage than evolutionary testing or concolic testing alone.

Original languageEnglish (US)
Title of host publicationASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering
Pages425-428
Number of pages4
DOIs
StatePublished - Dec 1 2007
Externally publishedYes
Event22nd IEEE/ACM International Conference on Automated Software Engineering, ASE'07 - Atlanta, GA, United States
Duration: Nov 5 2007Nov 9 2007

Publication series

NameASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering

Other

Other22nd IEEE/ACM International Conference on Automated Software Engineering, ASE'07
Country/TerritoryUnited States
CityAtlanta, GA
Period11/5/0711/9/07

Keywords

  • structural coverage
  • test generation

ASJC Scopus subject areas

  • Computational Theory and Mathematics
  • Software

Fingerprint

Dive into the research topics of 'Evacon: A framework for integrating evolutionary and concolic testing for object-oriented programs'. Together they form a unique fingerprint.

Cite this