Publications:Synchrony and asynchrony in conformance testing

Jump to: navigation, search

Do not edit this section

Keep all hand-made modifications below

Title Synchrony and asynchrony in conformance testing
Author Neda Noroozi and Ramtin Khosravi and Mohammad Reza Mousavi and Tim Willemse
Year 2013
PublicationType Journal Paper
Journal Journal of Software and Systems Modeling (online)
Diva url
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.