Skip to Main content Skip to Navigation
Conference papers

On-the-Fly Generation of K-Path Tests for C Functions

Nicky Williams 1 Bruno Marre 1 Patricia Mouy 1
1 LSL - Laboratoire Sûreté des Logiciels
DILS - Département Ingénierie Logiciels et Systèmes : DRT/LIST/DILS
Abstract : We propose a novel method, called PathCrawler, for the automatic generation of structural tests satisfying the all-paths criterion or its k-path variant. The source code is instrumented so as to recover the symbolic execution path each time that the program under test is executed. This code is first executed using inputs arbitrarily selected from the input domain. The resulting symbolic path is transformed into a path predicate by projection of the conditions onto the input variables. The next test is obtained by using constraint logic programming to find input values outside the domain of the path which is already covered. The instrumented code is then executed on this test and so on, until all feasible paths have been covered. Our method combines static and dynamic analysis in a way that avoids the disadvantages of both. It is currently being implemented for the C language.
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01810203
Contributor : Nicky Williams Connect in order to contact the contributor
Submitted on : Wednesday, June 20, 2018 - 10:04:05 AM
Last modification on : Friday, June 25, 2021 - 9:52:03 AM
Long-term archiving on: : Tuesday, September 25, 2018 - 12:08:05 PM

File

ase04copy.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Nicky Williams, Bruno Marre, Patricia Mouy. On-the-Fly Generation of K-Path Tests for C Functions. 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 20-25 September 2004, Sep 2004, Linz, Austria. pp.290-293, ⟨10.1109/ASE.2004.10020⟩. ⟨hal-01810203⟩

Share

Metrics

Record views

175

Files downloads

229