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

https://hal.inria.fr/hal-01678988
Contributor : Hal Ifip <>
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

File

449632_1_En_6_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Petra 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⟩

Share

Metrics

Record views

457

Files downloads

83