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

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

Links full text

Identifiers

Citation

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⟩

Share

Metrics

Record views

315