Synchronizing asynchronous conformance testing

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

Synchronizing asynchronous conformance testing

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

Formal System Analysis

Research output: Book/Report › Report › Academic

239 Downloads (Pure)

Abstract

We present several theorems and their proofs which enable using synchronous 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.

Original language	English
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Number of pages	18
Publication status	Published - 2011

Publication series

Name	Computer science reports
Volume	1110
ISSN (Print)	0926-4515

Access to Document

716666Final published version, 375 KB

Cite this

@book{c5ba610ba2184e128a713e103b03a980,

title = "Synchronizing asynchronous conformance testing",

abstract = "We present several theorems and their proofs which enable using synchronous 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.",

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

year = "2011",

language = "English",

series = "Computer science reports",

publisher = "Technische Universiteit Eindhoven",

}

TY - BOOK

T1 - Synchronizing asynchronous conformance testing

AU - Noroozi, N.

AU - Khosravi, R.

AU - Mousavi, M.R.

AU - Willemse, T.A.C.

PY - 2011

Y1 - 2011

N2 - We present several theorems and their proofs which enable using synchronous 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.

AB - We present several theorems and their proofs which enable using synchronous 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.

M3 - Report

T3 - Computer science reports

BT - Synchronizing asynchronous conformance testing

PB - Technische Universiteit Eindhoven

CY - Eindhoven

ER -

Synchronizing asynchronous conformance testing

Abstract

Publication series

Access to Document

Fingerprint

Cite this