Software & Systems Modeling

, Volume 14, Issue 1, pp 149–172 | Cite as

Synchrony and asynchrony in conformance testing

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


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.


Conformance testing ioco  Asynchronous conformance testing Queue context Internal choice implementation 



We would like to thank Sjoerd Cranen (TU/e) and Maciej Gazda (TU/e) for their useful comments and suggestions.


  1. 1.
    Asadi, H.R., Khosravi, R., Mousavi, M.R., Noroozi, N.: Towards model-based testing of electronic funds transfer systems. In: Proceedings of FSEN 2011, LNCS, Springer (2011)Google Scholar
  2. 2.
    Hierons, R.M.: Implementation relations for testing through asynchronous channels. Comput. J. (2012) (to appear)Google Scholar
  3. 3.
    Jard, C., Jéron, T., Tanguy, L., Viho, C.: Remote testing can be as powerful as local testing. In: Proceedings of FORTE XII, vol. 156 of IFIP Proceedings, pp. 25–40, Kluwer (1999)Google Scholar
  4. 4.
    Noroozi, N., Khosravi, R., Mousavi, M.R., Willemse, T.A.C.: Synchronizing Asynchronous Conformance Testing. Computer Science Report, No. 11–10, 16 pp. Eindhoven: Technische Universiteit Eindhoven (2011)Google Scholar
  5. 5.
    Noroozi, N., Khosravi, R., Mousavi, M.R., Willemse, T.A.C.: Synchronizing Asynchronous Conformance Testing. In: Proceedings of SEFM 2011, vol. 7041 of LNCS, pp. 334–349, Springer (2011)Google Scholar
  6. 6.
    Petrenko, A., Yevtushenko, N.: Queued testing of transition systems with inputs and outputs. In: Proceedings of FATES 2002, pp. 79–93 (2002)Google Scholar
  7. 7.
    Petrenko, A., Yevtushenko, N., Huo, J.: Testing transition systems with input and output testers. In: Proceedings of Testcom 2003, vol. 2644 of LNCS, pp. 129–145, Springer (2003)Google Scholar
  8. 8.
    Simao, A., Petrenko, A.; From test purposes to asynchronous test cases. In: Proceedings of ICSTW 2010, pp. 1–10, IEEE CS (2010)Google Scholar
  9. 9.
    Simao, A., Petrenko, A.: Generating asynchronous test cases from test purposes. J. Inf. Softw. Technol. 53(11), 1252–1262 (2011)CrossRefGoogle Scholar
  10. 10.
    Tretmans, J.: A Formal Approach to Conformance Testing. PhD thesis, University of Twente, The Netherlands (1992)Google Scholar
  11. 11.
    Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Softw. Concepts and Tools 3, 103–120 (1996)Google Scholar
  12. 12.
    Tretmans, J.: Model based testing with labelled transition systems. In: Formal Methods and Testing, vol. 4949 of LNCS, pp. 1–38, Springer (2008)Google Scholar
  13. 13.
    Tretmans J., Verhaard, L.: A queue model relating synchronous and asynchronous communication. In: Proceedings of PSTV’92, vol. C-8 of IFIP Tr., pp. 131–145, North-Holland (1992)Google Scholar
  14. 14.
    Verhaard, L., Tretmans, J., Kars, P., Brinksma, E.: On asynchronous testing. In: Proceedings of IWPTS’93, vol. C-11 of IFIP Tr., pp. 55–66. North-Holland (1993)Google Scholar
  15. 15.
    Weiglhofer, M.: Automated Software Conformance Testing. PhD thesis, TU Graz (2009)Google Scholar
  16. 16.
    Weiglhofer, M., Wotawa, F.: Asynchronous input–output conformance testing. In: Proceedings of COMPSAC’09, pp. 154–159, IEEE CS (2009)Google Scholar
  17. 17.
    Yannakakis, M., Lee, D.: Testing of finite state systems In: Computer Science Logic, vol. 1584 of LNCS, pp. 29–44, Springer (1999)Google Scholar

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

Personalised recommendations