n-Complete Test Suites for IOCO - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2017

n-Complete Test Suites for IOCO

Petra van Den Bos
  • Fonction : Auteur
  • PersonId : 1026259
Ramon Janssen
  • Fonction : Auteur
  • PersonId : 1026260
Joshua Moerman
  • Fonction : Auteur
  • PersonId : 1026261

Résumé

An n-complete test suite for automata guarantees to detect all faulty implementations with a bounded number of states. This principle is well-known when testing FSMs for equivalence, but the problem becomes harder for ioco conformance on labeled transitions systems. Existing methods restrict the structure of specifications and implementations. We eliminate those restrictions, using only the number of implementation states, and fairness in test execution. We provide a formalization, a construction and a correctness proof for n-complete test suites for ioco.
Fichier principal
Vignette du fichier
449632_1_En_6_Chapter.pdf (357.41 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01678988 , version 1 (09-01-2018)

Licence

Identifiants

Citer

Petra van Den Bos, Ramon Janssen, Joshua Moerman. n-Complete Test Suites for IOCO. 29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.91-107, ⟨10.1007/978-3-319-67549-7_6⟩. ⟨hal-01678988⟩
186 Consultations
62 Téléchargements

Altmetric

Partager

More