n-Complete test suites for IOCO

Petra van den Bos, Ramon Janssen, Joshua Moerman

Research output: Contribution to journalArticleAcademicpeer-review


An n-complete test suite for automata guarantees to detect all faulty implementations with a bounded number of states. We propose a construction of such a test suite for ioco conformance on labeled transition systems, which we derive from construction methods for deterministic FSMs. Our resulting test suite poses no further restrictions on the implementations other than their number of states and fairness in test execution. This elevates restrictions made in existing methods. In particular, we address the problem of compatible states: specification states which can be implemented by a single state. Such states are forbidden by existing methods for ioco, as they complicate test suite construction.
Original languageEnglish
Pages (from-to)563-588
Number of pages26
JournalSoftware Quality Journal
Issue number2
Publication statusPublished - 15 Jun 2019
Externally publishedYes


  • Complete test suite
  • Distinguishing states
  • IOCO
  • Model-based testing


Dive into the research topics of 'n-Complete test suites for IOCO'. Together they form a unique fingerprint.
  • n-Complete Test Suites for IOCO

    Bos, P. V. D., Janssen, R. & Moerman, J., Sept 2017, Testing Software and Systems: 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings. Springer, p. 91-107 17 p. (Lecture Notes in Computer Science, Vol. 10533).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

Cite this