Synchronizing asynchronous conformance testing

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

Research output: Book/ReportReportAcademic

9 Citations (Scopus)
142 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 languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages18
Publication statusPublished - 2011

Publication series

NameComputer science reports
Volume1110
ISSN (Print)0926-4515

Fingerprint

Dive into the research topics of 'Synchronizing asynchronous conformance testing'. Together they form a unique fingerprint.

Cite this