Synchrony and asynchrony in conformance testing

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

Research output: Contribution to journalArticleAcademicpeer-review

7 Citations (Scopus)
361 Downloads (Pure)


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 languageEnglish
Pages (from-to)149-172
Number of pages24
JournalSoftware and Systems Modeling
Issue number1
Publication statusPublished - 2015


Dive into the research topics of 'Synchrony and asynchrony in conformance testing'. Together they form a unique fingerprint.

Cite this