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

Fabrice Bouquet (1) , Pierre-Christophe Bué (1) , Jacques Julliand (1) , Pierre-Alain Masson (1)

1 FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)

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.

Domaines: Génie logiciel [cs.SE]; Modélisation et simulation

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, 2010, France. pp.54--61. ⟨hal-00563306⟩