Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations -- The TASCCC Testing Tool

Frédéric Dadeau 1, 2 Kalou Cabrera Castillos 1 Yves Ledru 3 Taha Triki 3 German Vega 4 Julien Botella Safouan Taha 5
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, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
4 ADELE, VASCO
LIG - Laboratoire d'Informatique de Grenoble
5 INFO - Département Informatique
E3S - Supélec Sciences des Systèmes [Gif-sur-Yvette]
Abstract : In this paper, we present a model-based testing tool resulting from a research project, named TASCCC. This tool is a complete tool chain dedicated to property-based testing in UML/OCL, that integrates various technologies inside a dedicated Eclipse plug-in. The test properties are expressed in a dedicated language based on property patterns. These properties are then used for two purposes. First, they can be employed to evaluate the relevance of a test suite according to specific coverage criteria. Second, it is possible to generate test scenarios that will illustrate or exercise the property. These test scenarios are then unfolded and animated on the Smartesting's Certify It model animator, that is used to filter out infeasible sequences. This tool has been used in industrial partnership, aiming at providing an assistance for Common Criteria evaluations, especially by providing test generation reports used to show the link between the test cases and the Common Criteria artefacts.
Type de document :
Communication dans un congrès
Benoit Baudry and Alessandro Orso. ICST'2013 - IEEE Sixth International Conference on Software Testing, Verification and Validation, Mar 2013, Luxembourg, Luxembourg. pp.431-438, 2013, 〈10.1109/ICST.2013.60〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00912639
Contributeur : Frédéric Dadeau <>
Soumis le : lundi 2 décembre 2013 - 14:21:03
Dernière modification le : jeudi 11 janvier 2018 - 06:26:57

Identifiants

Citation

Frédéric Dadeau, Kalou Cabrera Castillos, Yves Ledru, Taha Triki, German Vega, et al.. Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations -- The TASCCC Testing Tool. Benoit Baudry and Alessandro Orso. ICST'2013 - IEEE Sixth International Conference on Software Testing, Verification and Validation, Mar 2013, Luxembourg, Luxembourg. pp.431-438, 2013, 〈10.1109/ICST.2013.60〉. 〈hal-00912639〉

Partager

Métriques

Consultations de la notice

416