Browse wiki

From CERES
Jump to: navigation, search
Publications:Synchrony and asynchrony in conformance testing
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  +
hide properties that link here 
  No properties link to this page.
 

 

Enter the name of the page to start browsing from.