Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs

Abstract : 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.
Type de document :
Communication dans un congrès
Burkhart Wolff; Fatiha Zaïdi. 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. Springer, Lecture Notes in Computer Science, LNCS-7019, pp.162-178, 2011, Testing Software and Systems. 〈10.1007/978-3-642-24580-0_12〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01583921
Contributeur : Hal Ifip <>
Soumis le : vendredi 8 septembre 2017 - 10:05:32
Dernière modification le : mardi 21 novembre 2017 - 15:40:12

Fichier

978-3-642-24580-0_12_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Alexandre Petrenko, Nina Yevtushenko. Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs. Burkhart Wolff; Fatiha Zaïdi. 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. Springer, Lecture Notes in Computer Science, LNCS-7019, pp.162-178, 2011, Testing Software and Systems. 〈10.1007/978-3-642-24580-0_12〉. 〈hal-01583921〉

Partager

Métriques

Consultations de la notice

21

Téléchargements de fichiers

8