Skip to Main content Skip to Navigation
Journal articles

Detection of Polluting Test Objectives for Dataflow Criteria

Thibault Martin 1 Nikolai Kosmatov 1, 2 Virgile Prévosto 1 Matthieu Lemerre 1 
1 LSL - Laboratoire Sûreté des Logiciels
DILS - Département Ingénierie Logiciels et Systèmes : DRT/LIST/DILS
Abstract : Dataflow test coverage criteria, such as all-defs and all-uses, belong to the most advanced coverage criteria. These criteria are defined by complex artifacts combining variable definitions, uses and program paths. Detection of polluting (i.e. inapplicable, infeasible and equivalent) test objectives for such criteria is a particularly challenging task. This short paper evaluates three detection approaches involving dataflow analysis, value analysis and weakest precondition calculus. We implement and compare these approaches, analyze their detection capacities and propose a methodology for their efficient combination. Initial experiments illustrate the benefits of the proposed approach.
Document type :
Journal articles
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download
Contributor : Virgile Prevosto Connect in order to contact the contributor
Submitted on : Wednesday, October 21, 2020 - 4:35:17 PM
Last modification on : Monday, April 4, 2022 - 10:40:41 AM
Long-term archiving on: : Friday, January 22, 2021 - 6:54:57 PM


Files produced by the author(s)


  • HAL Id : cea-02974228, version 1


Thibault Martin, Nikolai Kosmatov, Virgile Prévosto, Matthieu Lemerre. Detection of Polluting Test Objectives for Dataflow Criteria. Lecture Notes in Computer Science, Springer, In press. ⟨cea-02974228⟩



Record views


Files downloads