n-Complete Test Suites for IOCO - Testing Software and Systems (ICTSS 2017) Access content directly
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

Attribution

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⟩
176 View
57 Download

Altmetric

Share

Gmail Facebook X LinkedIn More