Grey-Box Testing and Verification of Java/JML

Frédéric Dadeau 1, 2 Fabien Peureux 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 paper the application of constraint solving techniques to the validation and automated test cases generation for Java programs, annotated with JML specifications. The Java/JML code is translated into a constraint representation based on a subset of the set-theory, which is well-suited for modelling object-oriented programs. Symbolic code execution techniques can then be applied to produce test cases, using classical structural test selection criteria, or to detect possible runtime errors, and non-conformances between the Java code and its embedded JML model.
Type de document :
Communication dans un congrès
Arnaud Gotlieb and Gordon Fraser. 3rd International Workshop on Constraints in Software Testing Verification and Analysis, Mar 2011, Berlin, Germany. IEEE Computer Society Press, pp.298-303, 2011, Software Testing, Verification and Validation Workshops (ICSTW). 〈10.1109/ICSTW.2011.30〉
Liste complète des métadonnées

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

Identifiants

Citation

Frédéric Dadeau, Fabien Peureux. Grey-Box Testing and Verification of Java/JML. Arnaud Gotlieb and Gordon Fraser. 3rd International Workshop on Constraints in Software Testing Verification and Analysis, Mar 2011, Berlin, Germany. IEEE Computer Society Press, pp.298-303, 2011, Software Testing, Verification and Validation Workshops (ICSTW). 〈10.1109/ICSTW.2011.30〉. 〈hal-00640381〉

Partager

Métriques

Consultations de la notice

365