Test Case Generation Using PDA - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Test Case Generation Using PDA

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : inria-00628763 , version 1

Citer

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

Collections

INRIA INRIA2
68 Consultations
81 Téléchargements

Partager

Gmail Facebook X LinkedIn More