Synchrony and asynchrony in conformance testing

N. Noroozi; R. Khosravi; M.R. Mousavi; T.A.C. Willemse

doi:10.1007/s10270-012-0302-8

Synchrony and asynchrony in conformance testing

N. Noroozi, R. Khosravi, M.R. Mousavi, T.A.C. Willemse

Formal System Analysis

Research output: Contribution to journal › Article › Academic › peer-review

7 Citations (Scopus)

361 Downloads (Pure)

Abstract

We present and compare different notions of conformance testing based on labeled transition systems. We formulate and prove several theorems which enable using synchronous conformance testing techniques such as input–output conformance testing (ioco ) in order to test implementations only accessible through asynchronous communication channels. These theorems define when the synchronous test cases are sufficient for checking all aspects of conformance that are observable by asynchronous interaction with the implementation under test. Keywords: Conformance testing · ioco · Asynchronous conformance testing · Queue context · Internal choice implementation

Original language	English
Pages (from-to)	149-172
Number of pages	24
Journal	Software and Systems Modeling
Volume	14
Issue number	1
DOIs	https://doi.org/10.1007/s10270-012-0302-8
Publication status	Published - 2015

Access to Document

10.1007/s10270-012-0302-8

publishers versionFinal published version, 1.14 MB

Cite this

@article{1d1b28d4fff345e09cc99f68625ae341,

title = "Synchrony and asynchrony in conformance testing",

abstract = "We present and compare different notions of conformance testing based on labeled transition systems. We formulate and prove several theorems which enable using synchronous conformance testing techniques such as input–output conformance testing (ioco ) in order to test implementations only accessible through asynchronous communication channels. These theorems define when the synchronous test cases are sufficient for checking all aspects of conformance that are observable by asynchronous interaction with the implementation under test. Keywords: Conformance testing · ioco · Asynchronous conformance testing · Queue context · Internal choice implementation",

author = "N. Noroozi and R. Khosravi and M.R. Mousavi and T.A.C. Willemse",

year = "2015",

doi = "10.1007/s10270-012-0302-8",

language = "English",

volume = "14",

pages = "149--172",

journal = "Software and Systems Modeling",

issn = "1619-1366",

publisher = "Springer",

number = "1",

}

TY - JOUR

T1 - Synchrony and asynchrony in conformance testing

AU - Noroozi, N.

AU - Khosravi, R.

AU - Mousavi, M.R.

AU - Willemse, T.A.C.

PY - 2015

Y1 - 2015

N2 - We present and compare different notions of conformance testing based on labeled transition systems. We formulate and prove several theorems which enable using synchronous conformance testing techniques such as input–output conformance testing (ioco ) in order to test implementations only accessible through asynchronous communication channels. These theorems define when the synchronous test cases are sufficient for checking all aspects of conformance that are observable by asynchronous interaction with the implementation under test. Keywords: Conformance testing · ioco · Asynchronous conformance testing · Queue context · Internal choice implementation

AB - We present and compare different notions of conformance testing based on labeled transition systems. We formulate and prove several theorems which enable using synchronous conformance testing techniques such as input–output conformance testing (ioco ) in order to test implementations only accessible through asynchronous communication channels. These theorems define when the synchronous test cases are sufficient for checking all aspects of conformance that are observable by asynchronous interaction with the implementation under test. Keywords: Conformance testing · ioco · Asynchronous conformance testing · Queue context · Internal choice implementation

U2 - 10.1007/s10270-012-0302-8

DO - 10.1007/s10270-012-0302-8

M3 - Article

SN - 1619-1366

VL - 14

SP - 149

EP - 172

JO - Software and Systems Modeling

JF - Software and Systems Modeling

IS - 1

ER -

Synchrony and asynchrony in conformance testing

Abstract

Access to Document

Fingerprint

Cite this