Skip to Main content Skip to Navigation
Conference papers

Test Case Generation Using PDA

Abstract : IOLTS (input output labeled transition system) is a versatile model and is frequently used in model based testing to model the functional behavior of an IUT (implementation under test). However when a system is tested remotely, its observed behavior can be different from its actual functional behavior. In [2], we defined a notion of remotely observed behavior of an IOLTS in terms of its actual behavior. This paper contributes by proposing a methodology to simulate a PDA (push down automaton) from the given IOLTS such that the simulated PDA precisely expresses the remotely observed behavior of the IOLTS. The simulated PDA can be thought of as an automatic test generator for remote testing.
Document type :
Conference papers
Complete list of metadata

Cited literature [4 references]  Display  Hide  Download
Contributor : Hervé Marchand Connect in order to contact the contributor
Submitted on : Tuesday, October 4, 2011 - 10:46:33 AM
Last modification on : Friday, February 4, 2022 - 3:19:10 AM
Long-term archiving on: : Thursday, January 5, 2012 - 2:22:34 AM


Files produced by the author(s)


  • HAL Id : inria-00628763, version 1



Puneet Batheja. Test Case Generation Using PDA. IEEE International Conference on Theoretical Aspects of Software Engineering, Aug 2011, Xi'an, China. ⟨inria-00628763⟩



Record views


Files downloads