Software & Systems Modeling

, Volume 14, Issue 1, pp 149–172

Synchrony and asynchrony in conformance testing

  • Neda Noroozi
  • Ramtin Khosravi
  • Mohammad Reza Mousavi
  • Tim A. C. Willemse
Special Section Paper

DOI: 10.1007/s10270-012-0302-8

Cite this article as:
Noroozi, N., Khosravi, R., Mousavi, M.R. et al. Softw Syst Model (2015) 14: 149. doi:10.1007/s10270-012-0302-8
  • 197 Downloads

Abstract

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 (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.

Keywords

Conformance testing ioco  Asynchronous conformance testing Queue context Internal choice implementation 

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Neda Noroozi
    • 2
    • 1
  • Ramtin Khosravi
    • 3
  • Mohammad Reza Mousavi
    • 1
  • Tim A. C. Willemse
    • 1
  1. 1.Department of Computer ScienceEindhoven University of TechnologyEindhovenThe Netherlands
  2. 2.Fanap Corporation (IT Subsidiary of Pasargad Bank)TehranIran
  3. 3.University of TehranTehranIran