Automatic Test Generation: A Use Case Driven Approach - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Journal Articles IEEE Transactions on Software Engineering Year : 2006

Automatic Test Generation: A Use Case Driven Approach

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.
Fichier principal
Vignette du fichier
D647.PDF (2.1 Mo) Télécharger le fichier
Loading...

Dates and versions

lirmm-00102747 , version 1 (02-10-2006)

Identifiers

Cite

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, 2006, 32 (3), pp.140-155. ⟨10.1109/TSE.2006.22⟩. ⟨lirmm-00102747⟩
216 View
2805 Download

Altmetric

Share

More