n-Complete Test Suites for IOCO - Testing Software and Systems (ICTSS 2017)
Conference Papers Year : 2017

n-Complete Test Suites for IOCO

Petra van Den Bos
  • Function : Author
  • PersonId : 1026259
Ramon Janssen
  • Function : Author
  • PersonId : 1026260
Joshua Moerman
  • Function : Author
  • PersonId : 1026261

Abstract

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
Origin Files produced by the author(s)
Loading...

Dates and versions

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

Licence

Identifiers

Cite

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 View
62 Download

Altmetric

Share

More