Measuring Test Properties Coverage for evaluating UML/OCL Model-Based Tests

Kalou Cabrera Castillos 1, 2 Frédéric Dadeau 1, 2 Jacques Julliand 2 Safouan Taha 3
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 propose in the paper a test property specification language, dedicated to UML/OCL models. This language is intended to express temporal properties on the executions of the system, that one wants to test. It is based on patterns, specifying the behaviours one wants to exhibit/avoid, and scopes, defining the piece of execution trace on which a given pattern applies. Each property is a combination of a scope and a pattern, providing a means for a validation engineer to easily express temporal properties on a system, without using complex formal notations. Properties have the semantics of an event-based transition system whose coverage can be measured so as to evaluate the relevance of a given test suite. These principles aim at being used in the context of a research project, in which the security properties are expressed on an industrial case study of a smart card operating system. This approach makes it possible to assist the Common Criteria evaluation of the testing phase, that requires evidences of the extensiveness of the testing phase of a security product.
Type de document :
Communication dans un congrès
Burkhartt Wolff; Fatiha Zaïdi. 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. Springer-Verlag, Lecture Notes in Computer Science, LNCS-7019, pp.32-47, 2011, Testing Software and Systems. 〈10.1007/978-3-642-24580-0_4〉
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger

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

Fichier

978-3-642-24580-0_4_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Safouan Taha. Measuring Test Properties Coverage for evaluating UML/OCL Model-Based Tests. Burkhartt Wolff; Fatiha Zaïdi. 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. Springer-Verlag, Lecture Notes in Computer Science, LNCS-7019, pp.32-47, 2011, Testing Software and Systems. 〈10.1007/978-3-642-24580-0_4〉. 〈hal-00640312〉

Partager

Métriques

Consultations de la notice

611

Téléchargements de fichiers

28