n-Complete test suites for IOCO

Petra van den Bos; Ramon Janssen; Joshua Moerman

doi:10.1007/978-3-319-67549-7_6

n-Complete test suites for IOCO

Petra van den Bos^*, Ramon Janssen, Joshua Moerman

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

3 Citations (Scopus)

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.

Original language	English
Title of host publication	Testing Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, Proceedings
Editors	Nina Yevtushenko, Ana Rosa Cavalli, Husnu Yenigun
Place of Publication	Cham
Publisher	Springer
Pages	91-107
Number of pages	17
ISBN (Electronic)	978-3-319-67549-7
ISBN (Print)	978-3-319-67548-0
DOIs	https://doi.org/10.1007/978-3-319-67549-7_6
Publication status	Published - 2017
Externally published	Yes
Event	29th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2017 - St. Petersburg, Russian Federation Duration: 9 Oct 2017 → 11 Oct 2017 Conference number: 29

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	10533
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	29th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2017
Abbreviated title	ICTSS 2017
Country/Territory	Russian Federation
City	St. Petersburg
Period	9/10/17 → 11/10/17

Keywords

n/a OA procedure

Access to Document

10.1007/978-3-319-67549-7_6

Cite this

@inproceedings{1553caa57c74454395ceb247fba9e860,

title = "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.",

keywords = "n/a OA procedure",

author = "{van den Bos}, Petra and Ramon Janssen and Joshua Moerman",

note = "Publisher Copyright: {\textcopyright} 2017, IFIP International Federation for Information Processing.; 29th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2017, ICTSS 2017 ; Conference date: 09-10-2017 Through 11-10-2017",

year = "2017",

doi = "10.1007/978-3-319-67549-7_6",

language = "English",

isbn = "978-3-319-67548-0",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "91--107",

editor = "Nina Yevtushenko and Cavalli, {Ana Rosa} and Husnu Yenigun",

booktitle = "Testing Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, Proceedings",

address = "Germany",

}

van den Bos, P, Janssen, R & Moerman, J 2017, n-Complete test suites for IOCO. in N Yevtushenko, AR Cavalli & H Yenigun (eds), Testing Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, Proceedings. Lecture Notes in Computer Science, vol. 10533, Springer, Cham, pp. 91-107, 29th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2017, St. Petersburg, Russian Federation, 9/10/17. https://doi.org/10.1007/978-3-319-67549-7_6

n-Complete test suites for IOCO. / van den Bos, Petra; Janssen, Ramon; Moerman, Joshua.
Testing Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, Proceedings. ed. / Nina Yevtushenko; Ana Rosa Cavalli; Husnu Yenigun. Cham: Springer, 2017. p. 91-107 (Lecture Notes in Computer Science; Vol. 10533).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - n-Complete test suites for IOCO

AU - van den Bos, Petra

AU - Janssen, Ramon

AU - Moerman, Joshua

N1 - Conference code: 29

PY - 2017

Y1 - 2017

N2 - 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.

AB - 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.

KW - n/a OA procedure

UR - http://www.scopus.com/inward/record.url?scp=85030700815&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-67549-7_6

DO - 10.1007/978-3-319-67549-7_6

M3 - Conference contribution

AN - SCOPUS:85030700815

SN - 978-3-319-67548-0

T3 - Lecture Notes in Computer Science

SP - 91

EP - 107

BT - Testing Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, Proceedings

A2 - Yevtushenko, Nina

A2 - Cavalli, Ana Rosa

A2 - Yenigun, Husnu

PB - Springer

CY - Cham

T2 - 29th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2017

Y2 - 9 October 2017 through 11 October 2017

ER -

n-Complete test suites for IOCO

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

n-Complete test suites for IOCO

Cite this