Difference between revisions of "Publications:Synchronizing Asynchronous Conformance Testing"
From CERES
(Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim Willemse |PID=583...") |
(No difference)
|
Latest revision as of 04:43, 26 June 2014
| Title | Synchronizing Asynchronous Conformance Testing |
|---|---|
| Author | Neda Noroozi and Ramtin Khosravi and Mohammad Reza Mousavi and Tim Willemse |
| Year | 2011 |
| PublicationType | Conference Paper |
| Journal | |
| HostPublication | Proceedings of the 9th International Conference on Software Engineering and Formal Methods (SEFM 2011) |
| DOI | http://dx.doi.org/10.1007/978-3-642-24690-6_23 |
| Conference | The 9th International Conference on Software Engineering and Formal Methods (SEFM 2011) |
| Diva url | http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:583428 |
| 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. © 2011 Springer-Verlag. |
