Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs - 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

Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs

Résumé

The paper addresses the problem of adaptive testing of a deterministic FSM which models an implementation under test using a nondeterministic FSM as its specification. It elaborates a method for deriving test fragments, combining and executing them in adaptive way such that the implementation passes the test if and only if it is a reduction of the specification. Compared to the existing methods, it uses adaptive test fragments needed to reach as well as to distinguish states.
Fichier principal
Vignette du fichier
978-3-642-24580-0_12_Chapter.pdf (402.9 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01583921 , version 1 (08-09-2017)

Licence

Identifiants

Citer

Alexandre Petrenko, Nina Yevtushenko. Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs. 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.162-178, ⟨10.1007/978-3-642-24580-0_12⟩. ⟨hal-01583921⟩
46 Consultations
79 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More