Taming Coverage Criteria Heterogeneity with LTest - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Access content directly
Conference Papers Year : 2017

Taming Coverage Criteria Heterogeneity with LTest


Automated white-box testing is a major issue in software engineering. In previous work, we introduced LTest, a generic and integrated toolkit for automated white-box testing of C programs. LTest supports a broad class of coverage criteria in a unified way (through the label specification mechanism) and covers most major parts of the testing process - including coverage measurement, test generation and detection of infeasible test objectives. However, the original version of LTest was unable to handle several major classes of coverage criteria, such as MCDC or dataflow criteria. Moreover, its practical applicability remained barely assessed. In this work, we present a significantly extended version of LTest that supports almost all existing testing criteria, including MCDC and some software security properties, through a native support of recently proposed hyperlabels. We also provide a more realistic view on the practical applicability of the extended tool, with experiments assessing its efficiency and scalability on real-world programs.

Dates and versions

cea-01808788 , version 1 (06-06-2018)



M. Marcozzi, S. Bardin, M. Delahaye, N. Kosmatov, V. Prevosto. Taming Coverage Criteria Heterogeneity with LTest. 2017 ICST : 10th IEEE International Conference on Software Testing, Verification and Validation, Mar 2017, Tokyo, Japan. pp.500-507, ⟨10.1109/ICST.2017.57⟩. ⟨cea-01808788⟩
111 View
0 Download



Gmail Facebook X LinkedIn More