An all-in-one toolkit for automated white-box testing

Abstract : Automated white-box testing is a major issue in software engineering. Over the years, several tools have been proposed for supporting distinct parts of the testing process. Yet, these tools are mostly separated and most of them support only a fixed and restricted subset of testing criteria. We describe in this paper Frama-C/LTest, a generic and integrated toolkit for automated white-box testing of C programs. LTest provides a unified support of many different testing criteria as well as an easy integration of new criteria. Moreover, it is designed around three basic services (test coverage estimation, automatic test generation, detection of uncoverable objectives) covering most major aspects of white-box testing and taking benefit from a combination of static and dynamic analyses. Services can cooperate through a shared coverage database. Preliminary experiments demonstrate the possibilities and advantages of such cooperations.
Document type :
Conference papers
Complete list of metadatas

https://hal-cea.archives-ouvertes.fr/cea-01834983
Contributor : Léna Le Roy <>
Submitted on : Wednesday, July 11, 2018 - 10:02:31 AM
Last modification on : Wednesday, January 23, 2019 - 2:39:33 PM

Identifiers

Collections

CEA | DRT | LIST

Citation

S. Bardin, O. Chebaro, M. Delahaye, N. Kosmatov. An all-in-one toolkit for automated white-box testing. Tests and Proofs. TAP 2014. Lecture Notes in Computer Science, Jul 2014, York, United Kingdom. pp.53-60, ⟨10.1007/978-3-319-09099-3_4⟩. ⟨cea-01834983⟩

Share

Metrics

Record views

46