Automated Boundary Test Generation from JML Specifications

Fabrice Bouquet 1 Frédéric Dadeau 1 Bruno Legeard 1
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 an original approach for the automated computation of model-based test cases from specifications written in Java Modeling Language (JML). We aim at activating all the behaviors from the JML method specifications. Therefore, we extract each behavior and we compute the pertinent test data for the input parameters; we select the boundary values of the ordered domains, and we consider specific features for the objects, involving inheritance and aliasing. Finally, a preamble for each test case is computed by symbolic animation of the JML specification using constraint logic programming techniques. Thus, we are able to automatically generate executable Java test sequences to be run on the system under test. Moreover, this process requires the less possible intervention from a validation engineer.
Type de document :
Communication dans un congrès
Jayadev Misra, Tobias Nipkow and Emil Sekerinski. 14th international symposium on Formal Methods - FM'06, Aug 2006, Hamilton, Canada. Springer Berlin / Heidelberg, 4085, pp.428-443, 2006, Lecture Notes in Computer Science. 〈10.1007/11813040〉
Liste complète des métadonnées

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

Lien texte intégral

Identifiants

Citation

Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard. Automated Boundary Test Generation from JML Specifications. Jayadev Misra, Tobias Nipkow and Emil Sekerinski. 14th international symposium on Formal Methods - FM'06, Aug 2006, Hamilton, Canada. Springer Berlin / Heidelberg, 4085, pp.428-443, 2006, Lecture Notes in Computer Science. 〈10.1007/11813040〉. 〈inria-00329979〉

Partager

Métriques

Consultations de la notice

267