Synchronizing Asynchronous Conformance Testing.

N. Noroozi, R. Khosravi, M.R. Mousavi, and T.A.C. Willemse. Proceedings of the 9th International Conference on Software Engineering and Formal Methods (SEFM 2011), Montevideo, Uruguay. Lecture Notes in Computer, Springer-Verlag, November 2011.

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.

(Paper in pdf format)

An extended version of this paper appeared as Technical Report CSR-11-10.

(Technical report in pdf format)

@inProceedings{MousaviFSEN2011-2,
    author      = "Noroozi, Neda and Khosravi, Ramtin and Mousavi, Mohammad Reza and Willemse, Tim",
    title       = "Synchronizing Asynchronous Conformance Testing",
    booktitle   = "Proceedings of the  9th International Conference on Software Engineering and Formal Methods ({SEFM 2011})",
    series      = "Lecture Notes in Computer Science",
    year        = "2011"
}