Skip to Main content Skip to Navigation
New interface
Journal articles

Scenario-based testing from UML/OCL behavioral models Application to POSIX compliance

Kalou Cabrera Castillos 1, 2 Frédéric Dadeau 1, 2 Jacques Julliand 1 
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 : We present in this article a way to produce test suites applied to the POSIX mini-challenge based on a behavioral model of a file system manager written in UML/OCL. We illustrate the limitations of a fully automated test generation approach, which justifies the use of test scenarios as a complement to a functional testing approach. Scenarios are expressed through regular expressions describing sequences of operations, possibly punctuated by intermediate states that have to be reached by the execution of the model. Scenarios are unfolded into extended sequences of operations that are played on the model using symbolic animation techniques. We experimented our approach by testing the conformance of two different file systems w.r.t. the POSIX standard: a recent Linux distribution and a customized Java implementation of POSIX used to evaluate the relevance of our approach and its complementarity with a structural test generation approach.
Document type :
Journal articles
Complete list of metadata
Contributor : Frédéric Dadeau Connect in order to contact the contributor
Submitted on : Friday, November 11, 2011 - 12:52:09 PM
Last modification on : Friday, January 21, 2022 - 3:08:37 AM

Links full text



Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand. Scenario-based testing from UML/OCL behavioral models Application to POSIX compliance. International Journal on Software Tools for Technology Transfer, 2011, VSTTE 2009, 13 (5), pp.431-448. ⟨10.1007/s10009-011-0189-7⟩. ⟨hal-00640379⟩



Record views