Skip to Main content Skip to Navigation
Conference papers

n-Complete Test Suites for IOCO

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.
Complete list of metadata

Cited literature [13 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Tuesday, January 9, 2018 - 3:42:41 PM
Last modification on : Tuesday, January 9, 2018 - 4:04:53 PM
Long-term archiving on: : Friday, May 4, 2018 - 12:45:21 AM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



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⟩



Record views


Files downloads