Test Case Generation Using PDA - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2011

Test Case Generation Using PDA


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.
Fichier principal
Vignette du fichier
tase2011-short.pdf (73 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00628763 , version 1 (04-10-2011)


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


67 View
70 Download


Gmail Facebook Twitter LinkedIn More