Skip to Main content Skip to Navigation
New interface
Conference papers

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 Nancy - Grand Est, LORIA - FM - Department of Formal Methods
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 metadata
Contributor : Frédéric Dadeau Connect in order to contact the contributor
Submitted on : Friday, November 11, 2011 - 1:10:50 PM
Last modification on : Friday, January 21, 2022 - 3:08:37 AM



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⟩



Record views