Skip to Main content Skip to Navigation
Conference papers

Towards exhaustive branch coverage with PathCrawler

Nicky Williams 1 
1 LSL - Laboratoire Sûreté des Logiciels
DILS - Département Ingénierie Logiciels et Systèmes : DRT/LIST/DILS
Abstract : Branch coverage of source code is a very widely used test criterion. Moreover, branch coverage is a similar problem to line coverage, MC/DC and the coverage of assertion violations, certain runtime errors and various other types of test objective. Indeed, establishing that a large number of test objectives are unreachable, or conversely, providing the test inputs which reach them, is at the heart of many verification tasks. However, automatic test generation for exhaustive branch coverage remains an elusive goal: many modern tools obtain high coverage scores without being able to provide an explanation for why some branches are not covered, such as a demonstration that they are unreachable. Concolic test generation offers the promise of exhaustive coverage but covers paths more efficiently than branches. In this paper, I explain why, and propose different strategies to improve its performance on exhaustive branch coverage. A comparison of these strategies on examples of real code shows promising results.
Document type :
Conference papers
Complete list of metadata
Contributor : Nicky Williams Connect in order to contact the contributor
Submitted on : Tuesday, May 11, 2021 - 6:17:32 PM
Last modification on : Thursday, February 17, 2022 - 10:08:04 AM
Long-term archiving on: : Thursday, August 12, 2021 - 7:30:28 PM


Files produced by the author(s)


  • HAL Id : cea-03224561, version 1
  • ARXIV : 2105.05517


Nicky Williams. Towards exhaustive branch coverage with PathCrawler. 2nd ACM/IEEE International Conference on Automation of Software Test AST 2021, May 2021, Madrid, Spain. ⟨cea-03224561⟩



Record views


Files downloads