Symbolic execution techniques for test purpose definition - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

Symbolic execution techniques for test purpose definition

Résumé

We propose an approach to test whether a system conforms to its specification given in terms of an Input Output Symbolic Transition System (IOSTS). IOSTSs use data types to enrich transitions with data-based messages and guards depending on state variables. We use symbolic execution techniques both to extract IOSTS behaviours to be tested in the role of test purposes and to ground an algorithm of test case generation. Thus, contrarily to some already existing approaches, our test purposes are directly expressed as symbolic execution paths of the specification. They are finite symbolic subtrees of its symbolic execution. Finally, we give coverage criteria and demonstrate our approach on a running example.
Fichier non déposé

Dates et versions

hal-00342082 , version 1 (26-11-2008)

Identifiants

  • HAL Id : hal-00342082 , version 1

Citer

Christophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil. Symbolic execution techniques for test purpose definition. Proceedings of the 18th international conference on Testing of Communicating Systems (TestCom), 2006, United States. pp.1--18. ⟨hal-00342082⟩
148 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More