Skip to Main content Skip to Navigation
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 Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
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 metadatas
Contributor : Frédéric Dadeau <>
Submitted on : Friday, November 11, 2011 - 12:52:09 PM
Last modification on : Wednesday, September 16, 2020 - 10:43:02 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, Springer Verlag, 2011, VSTTE 2009, 13 (5), pp.431-448. ⟨10.1007/s10009-011-0189-7⟩. ⟨hal-00640379⟩



Record views