Efficient leveraging of symbolic execution to advanced coverage criteria

Abstract : Automatic test data generation (ATG) is a major topic in software engineering. In this paper, we bridge the gap between the coverage criteria supported by state-of-the-art whitebox ATG technologies, especially Dynamic Symbolic Execution, and advanced coverage criteria found in the literature. We define a new testing criterion, label coverage, and prove it to be both expressive and amenable to efficient automation. We propose several innovative techniques resulting in an effective blackbox support for label coverage, while a direct approach induces an exponential blow-up of the search space. Experiments show that our optimisations yield very significant savings allowing to leverage ATG to label coverage with only a slight overhead.
Document type :
Conference papers
Complete list of metadatas

https://hal-cea.archives-ouvertes.fr/cea-01836307
Contributor : Léna Le Roy <>
Submitted on : Thursday, July 12, 2018 - 11:27:03 AM
Last modification on : Wednesday, January 23, 2019 - 2:39:33 PM

Identifiers

Collections

CEA | DRT | LIST

Citation

S. Bardin, N. Kosmatov, F. Cheynier. Efficient leveraging of symbolic execution to advanced coverage criteria. 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation, Mar 2014, Cleveland, OH, United States. pp.173-182, ⟨10.1109/ICST.2014.30⟩. ⟨cea-01836307⟩

Share

Metrics

Record views

57