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.
Type de document :
Communication dans un congrès
IEEE International Conference on Theoretical Aspects of Software Engineering, Aug 2011, Xi'an, China. IEEE, 2011
Liste complète des métadonnées

Littérature citée [4 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00628763
Contributeur : Hervé Marchand <>
Soumis le : mardi 4 octobre 2011 - 10:46:33
Dernière modification le : mercredi 11 avril 2018 - 01:51:36
Document(s) archivé(s) le : jeudi 5 janvier 2012 - 02:22:34

Fichier

tase2011-short.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00628763, version 1

Collections

Citation

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

Partager

Métriques

Consultations de la notice

126

Téléchargements de fichiers

83