Skip to Main content Skip to Navigation
Conference papers

Abstract path testing with PathCrawler

Abstract : PathCrawler is a tool developed by CEA List for the automatic generation of test inputs to ensure the coverage of all feasible execution paths of a C function. Due to its concolic approach and depth-first exhaustive search strategy implemented in Prolog, PathCrawler is particularly efficient in the generation of tests to cover the fully expanded tree of feasible paths. However, for many tested functions this coverage criterion demands too many tests and a weaker criterion must be used. In order to efficiently generate tests for a new criterion whilst still using a concolic approach, we must modify the search strategy. To facilitate the definition and comparison of different coverage criteria, we propose a new type of tree, trees of abstract paths, and define the different types of abstract node in these trees. We demonstrate how several criteria can be conveniently defined in terms of coverage of these new trees. Moreover, efficient generation of tests to satisfy these criteria using the concolic approach can be designed as different strategies to explore these trees.
Document type :
Conference papers
Complete list of metadata

Cited literature [11 references]  Display  Hide  Download

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

File

ast10copy.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Nicky Williams. Abstract path testing with PathCrawler. The 5th Workshop on Automation of Software Test, AST 2010, May 3-4, 2010, Cape Town, South Africa, 2010, Cape Town, South Africa. pp.35--42, ⟨10.1145/1808266.1808272⟩. ⟨hal-01810297⟩

Share

Metrics

Record views

179

Files downloads

332