Symbolic execution techniques for test purpose definition - Archive ouverte HAL Access content directly
Conference Papers Year : 2006

Symbolic execution techniques for test purpose definition

(1) , (2) , , (2)


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.
Not file

Dates and versions

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


  • HAL Id : hal-00342082 , version 1


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⟩
124 View
0 Download


Gmail Facebook Twitter LinkedIn More