Abstract
|
<p>We present and compare different … <p>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 (<strong>ioco</strong> ) 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.</p>h the implementation under test.</p>
|
Author
|
Neda Noroozi +
, Ramtin Khosravi +
, Mohammad Reza Mousavi +
, Tim Willemse +
|
DOI
|
http://dx.doi.org/10.1007/s10270-012-0302-8 +
|
Diva
|
http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:651740
|
Journal
|
Journal of Software and Systems Modeling (online) +
|
PublicationType
|
Journal Paper +
|
Publisher
|
Springer +
|
Title
|
Synchrony and asynchrony in conformance testing +
|
Year
|
2013 +
|
Has queryThis property is a special property in this wiki.
|
Publications:Synchrony and asynchrony in conformance testing +
, Publications:Synchrony and asynchrony in conformance testing +
, Publications:Synchrony and asynchrony in conformance testing +
, Publications:Synchrony and asynchrony in conformance testing +
, Publications:Synchrony and asynchrony in conformance testing +
, Publications:Synchrony and asynchrony in conformance testing +
, Publications:Synchrony and asynchrony in conformance testing +
, Publications:Synchrony and asynchrony in conformance testing +
, Publications:Synchrony and asynchrony in conformance testing +
, Publications:Synchrony and asynchrony in conformance testing +
|
Categories |
Publication +
|
Modification dateThis property is a special property in this wiki.
|
26 June 2014 03:43:45 +
|