| Abstract
|
<p>We present several theorems and t … <p>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.</p>er test. © 2011 Springer-Verlag.</p>
|
| Author
|
Neda Noroozi +
, Ramtin Khosravi +
, Mohammad Reza Mousavi +
, Tim Willemse +
|
| Conference
|
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 +
|
| Diva
|
http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:583428
|
| EndPage
|
349 +
|
| HostPublication
|
Proceedings of the 9th International Conference on Software Engineering and Formal Methods (SEFM 2011) +
|
| PublicationType
|
Conference Paper +
|
| Publisher
|
Springer Berlin/Heidelberg +
|
| Series
|
Lecture Notes in Computer Science ; 7041 +
|
| StartPage
|
334 +
|
| Title
|
Synchronizing Asynchronous Conformance Testing +
|
| Volume
|
7041 +
|
| Year
|
2011 +
|
| Has queryThis property is a special property in this wiki.
|
Publications:Synchronizing Asynchronous Conformance Testing +
, Publications:Synchronizing Asynchronous Conformance Testing +
, Publications:Synchronizing Asynchronous Conformance Testing +
, Publications:Synchronizing Asynchronous Conformance Testing +
, Publications:Synchronizing Asynchronous Conformance Testing +
, Publications:Synchronizing Asynchronous Conformance Testing +
, Publications:Synchronizing Asynchronous Conformance Testing +
, Publications:Synchronizing Asynchronous Conformance Testing +
, Publications:Synchronizing Asynchronous Conformance Testing +
, Publications:Synchronizing Asynchronous Conformance Testing +
|
| Categories |
Publication +
|
| Modification dateThis property is a special property in this wiki.
|
26 June 2014 03:43:45 +
|
