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.
Type de document :
Article dans une revue
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2011, VSTTE 2009, 13 (5), pp.431-448. 〈10.1007/s10009-011-0189-7〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00640379
Contributeur : Frédéric Dadeau <>
Soumis le : vendredi 11 novembre 2011 - 12:52:09
Dernière modification le : vendredi 6 juillet 2018 - 15:06:10

Lien texte intégral

Identifiants

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〉

Partager

Métriques

Consultations de la notice

268