Selective Test Generation Method for Evolving Critical Systems

Elizabeta Fourneret 1, 2 Fabrice Bouquet 1, 2 Frédéric Dadeau 1, 2 Stéphane Debricon 1, 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, INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : We present in this paper the implementation of a model-based testing technique for evolving systems. These latters are described in UML using class/object diagrams and state charts, augmented with OCL constraints. Based on two versions of a given model, an automated process deduces the impact of model evolutions on the existing tests. Our methodology then classifies tests into different test suites to test evolution, regression, stagnation and deletion on the concrete system. We introduce the notion of tests and test suites life cycles that help defining the purpose of each test at a given step of the system evolution, and thus, their classification in different test suites. The approach is illustrated on a realistic case study, and the improvements w.r.t. other regression testing techniques are discussed.
Type de document :
Communication dans un congrès
Per Runeson and Shin Yoo. 1st International Workshop on Regression Testing, Mar 2011, Berlin, Germany. IEEE Computer Society Press, pp.125 - 134, 2011, Software Testing, Verification and Validation Workshops (ICSTW). 〈10.1109/ICSTW.2011.95〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00640384
Contributeur : Frédéric Dadeau <>
Soumis le : vendredi 11 novembre 2011 - 13:42:05
Dernière modification le : jeudi 15 février 2018 - 08:48:09

Identifiants

Citation

Elizabeta Fourneret, Fabrice Bouquet, Frédéric Dadeau, Stéphane Debricon. Selective Test Generation Method for Evolving Critical Systems. Per Runeson and Shin Yoo. 1st International Workshop on Regression Testing, Mar 2011, Berlin, Germany. IEEE Computer Society Press, pp.125 - 134, 2011, Software Testing, Verification and Validation Workshops (ICSTW). 〈10.1109/ICSTW.2011.95〉. 〈hal-00640384〉

Partager

Métriques

Consultations de la notice

272