An all-in-one toolkit for automated white-box testing
| Autor: | Nikolai Kosmatov, Mickaël Delahaye, Sébastien Bardin, Omar Chebaro |
|---|---|
| Přispěvatelé: | Département Ingénierie Logiciels et Systèmes (DILS), Laboratoire d'Intégration des Systèmes et des Technologies (LIST), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)) |
| Jazyk: | angličtina |
| Rok vydání: | 2014 |
| Předmět: |
Test strategy
Test coverage Testing criteria Integration testing Computer science White-box testing System testing Software performance testing Manual testing 02 engineering and technology computer.software_genre Automation Keyword-driven testing 0202 electrical engineering electronic engineering information engineering Automatic test generation [INFO]Computer Science [cs] Test Management Approach Application programs Software engineering C programs business.industry Static and dynamic analysis 020207 software engineering C (programming language) Testing process 020201 artificial intelligence & image processing Data mining business computer Integrated toolkit |
| Zdroj: | Tests and Proofs. TAP 2014. Lecture Notes in Computer Science 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⟩ Tests and Proofs ISBN: 9783319090986 TAP@STAF |
| DOI: | 10.1007/978-3-319-09099-3_4⟩ |
| Popis: | Conference of 8th International Conference on Tests and Proofs, TAP 2014, Held as Part of the Software Technologies: Applications and Foundations, STAF 2014 ; Conference Date: 24 July 2014 Through 25 July 2014; Conference Code:106534; International audience; 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|