Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests

Fabrice Bouquet 1 Pierre-Christophe Bué 2 Jacques Julliand 2 Pierre-Alain Masson 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 : This paper presents a computer aided model-based test generation method. We propose this approach as a complement to the LTG (Leirios Test Generator) method, which extracts functional tests out of a formal behavioral model M by means of static (or structural) selection criteria. Our method computes additional tests by applying dynamic (or behavioral) selection criteria (test purposes called TP). Applying TP directly to M is usually not possible for industrial applications due to the huge (possibly infinite) size of their state space. We compute an abstraction A of M by predicate abstraction. We propose a method to define a set of abstraction predicates from information of TP. We generate symbolic tests from A by using TP as a dynamic selection criterion. Then we instantiate them on M, which allows us play the tests on the implementation the same way as we play the functional ones. Our experimental results show that our tests are complementary to the structural ones.
Type de document :
Communication dans un congrès
A-MOST'10, 6th int. Workshop on Advances in Model Based Testing, in conjunction with ICST'10, Apr 2010, Paris, France. pp.54--61, 2010, 〈10.1109/ICSTW.2010.47〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00533281
Contributeur : Fabrice Bouquet <>
Soumis le : vendredi 5 novembre 2010 - 15:51:35
Dernière modification le : jeudi 15 février 2018 - 08:48:09

Identifiants

Citation

Fabrice Bouquet, Pierre-Christophe Bué, Jacques Julliand, Pierre-Alain Masson. Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests. A-MOST'10, 6th int. Workshop on Advances in Model Based Testing, in conjunction with ICST'10, Apr 2010, Paris, France. pp.54--61, 2010, 〈10.1109/ICSTW.2010.47〉. 〈inria-00533281〉

Partager

Métriques

Consultations de la notice

263