Skip to Main content Skip to Navigation
Conference papers

Symbolic execution techniques for test purpose definition

Abstract : 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.
Complete list of metadatas
Contributor : Frédéric Davesne <>
Submitted on : Wednesday, November 26, 2008 - 5:10:57 PM
Last modification on : Tuesday, June 30, 2020 - 11:54:04 AM


  • 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⟩



Record views