Scenario Based Test Generation Using Test Designer

Kalou Cabrera Castillos 1, 2 Julien Botella 3
2 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : This paper presents a Scenario Based Testing approach for UML/OCL behavioral models. Scenarios are expressed using a regular expression syntax, that makes it possible to specify iterations and choices between sequences of operation calls, specific operation behaviors to be activated, and intermediate states that have to be reached by the scenario. This expressive scenario language describes sequences of operations that compose the scenario and restrict the execution of the model to representative subset that complements the functional test cases produced by a test generator. This approach is tool supported by a scenario editor and coupled with the model animation engine of the Test Designer tool that is used to animate unfolded test cases and check their consistency with respect to the initial test scenario. The resulting abstract test cases can then be integrated back to the Test Designer repository so as to benefit from the test publishers offered by the tool.
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/hal-00640382
Contributor : Frédéric Dadeau <>
Submitted on : Friday, November 11, 2011 - 1:10:50 PM
Last modification on : Friday, July 6, 2018 - 3:06:10 PM

Identifiers

Citation

Kalou Cabrera Castillos, Julien Botella. Scenario Based Test Generation Using Test Designer. 1st International Workshop on Scenario-Based Testing (SCENARIOS'2011), Mar 2011, Berlin, Germany. pp.79-88, ⟨10.1109/ICSTW.2011.93⟩. ⟨hal-00640382⟩

Share

Metrics

Record views

275