Skip to Main content Skip to Navigation
Journal articles

Automatic Test Generation: A Use Case Driven Approach

Clémentine Nebut 1 Franck Fleurey 1 Yves Le Traon 1 Jean-Marc Jézéquel 1
1 MAREL - Models And Reuse Engineering, Languages
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Abstract : Use cases are believed to be a good basis for system testing. Yet, to automate the test generation process, there is a large gap to bridge between high-level use cases and concrete test cases. We propose a new approach for automating the generation of system test scenarios in the context of object-oriented embedded software, taking into account traceability problems between high- level views and concrete test case execution. Starting from a formalization of the requirements based on use cases extended with contracts, we automatically build a transition system from which we synthesize test cases. Our objective is to cover the system in terms of statement coverage with those generated tests: An empirical evaluation of our approach is given based on this objective and several case studies. We briefly discuss the experimental deployment of our approach in the field at Thale`s Airborne Systems.
Document type :
Journal articles
Complete list of metadata

Cited literature [41 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00102747
Contributor : Christine Carvalho de Matos <>
Submitted on : Monday, October 2, 2006 - 4:05:14 PM
Last modification on : Thursday, January 7, 2021 - 4:37:09 PM
Long-term archiving on: : Tuesday, April 6, 2010 - 1:19:30 AM

File

Identifiers

Citation

Clémentine Nebut, Franck Fleurey, Yves Le Traon, Jean-Marc Jézéquel. Automatic Test Generation: A Use Case Driven Approach. IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2006, 32 (3), pp.140-155. ⟨10.1109/TSE.2006.22⟩. ⟨lirmm-00102747⟩

Share

Metrics

Record views

409

Files downloads

4010