TY - GEN
T1 - Detection of Polluting Test Objectives for Dataflow Criteria
AU - Martin, Thibault
AU - Kosmatov, Nikolai
AU - Prevosto, Virgile
AU - Lemerre, Matthieu
N1 - Publisher Copyright:
© 2020, Springer Nature Switzerland AG.
PY - 2020/1/1
Y1 - 2020/1/1
N2 - 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.
AB - 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.
U2 - 10.1007/978-3-030-63461-2_18
DO - 10.1007/978-3-030-63461-2_18
M3 - Conference contribution
AN - SCOPUS:85097430927
SN - 9783030634605
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 337
EP - 345
BT - Integrated Formal Methods - 16th International Conference, IFM 2020, Proceedings
A2 - Dongol, Brijesh
A2 - Troubitsyna, Elena
PB - Springer Science and Business Media Deutschland GmbH
T2 - 16th International Conference on Integrated Formal Methods, IFM 2020
Y2 - 16 November 2020 through 20 November 2020
ER -