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. © 2011 Springer-Verlag.
CITATION STYLE
Noroozi, N., Khosravi, R., Mousavi, M. R., & Willemse, T. A. C. (2011). Synchronizing asynchronous conformance testing. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7041 LNCS, pp. 334–349). https://doi.org/10.1007/978-3-642-24690-6_23
Mendeley helps you to discover research relevant for your work.