Skip to Main content Skip to Navigation
New interface
Conference papers

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 (UMR 6174), Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
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.
Document type :
Conference papers
Complete list of metadata
Contributor : Fabrice Bouquet Connect in order to contact the contributor
Submitted on : Friday, November 5, 2010 - 3:51:35 PM
Last modification on : Friday, January 21, 2022 - 3:08:58 AM

Links full text



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, ⟨10.1109/ICSTW.2010.47⟩. ⟨inria-00533281⟩



Record views