Combining Scenario- and Model-Based Testing to ensure POSIX Compliance

Frédéric Dadeau 1 Adrien De Kermadec 1 Régis Tissot 2
1 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 paper a way to produce test suites for the POSIX mini-challenge, based on a formal model of a file system manager, written using a B machine. By this case study, we illustrate the limitations of a fully-automated testing process, which justifies the use of scenarios that complements the classical functional testing approach. Scenarios are expressed through schemas, focusing only on operation chaining. They are played on the model using a symbolic animation engine in order to automatically compute pertinent operation parameter values, based on model coverage criteria such as behavioral or data coverage. We concretize our experimentation by testing the POSIX conformance of two different file systems: a recent Linux distribution, and a customized Java implementation of POSIX used to evaluate the relevance of our approach.
Type de document :
Communication dans un congrès
Egon Börger, Michael Butler, Jonathan P. Bowen and Paul Boca. First International Conference on ASM, B and Z - ABZ'08, Sep 2008, London, United Kingdom. Springer Berlin / Heidelberg, 5238, pp.153-166, 2008, Lecture Notes in Computer Science. 〈10.1007/978-3-540-87603-8〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00329965
Contributeur : Frédéric Dadeau <>
Soumis le : lundi 13 octobre 2008 - 17:04:04
Dernière modification le : vendredi 6 juillet 2018 - 15:06:09

Lien texte intégral

Identifiants

Citation

Frédéric Dadeau, Adrien De Kermadec, Régis Tissot. Combining Scenario- and Model-Based Testing to ensure POSIX Compliance. Egon Börger, Michael Butler, Jonathan P. Bowen and Paul Boca. First International Conference on ASM, B and Z - ABZ'08, Sep 2008, London, United Kingdom. Springer Berlin / Heidelberg, 5238, pp.153-166, 2008, Lecture Notes in Computer Science. 〈10.1007/978-3-540-87603-8〉. 〈inria-00329965〉

Partager

Métriques

Consultations de la notice

241