Synchronizing Asynchronous Conformance Testing

  • Neda Noroozi
  • Ramtin Khosravi
  • Mohammad Reza Mousavi
  • Tim A. C. Willemse
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7041)


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.


Arbitrary State Label Transition System Conformance Testing Implementation Under Test Asynchronous System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Asadi, H.R., Khosravi, R., Mousavi, M.R., Noroozi, N.: Towards model-based testing of electronic funds transfer systems. In: Proc. of FSEN 2011. LNCS. Springer, Heidelberg (2011)Google Scholar
  2. 2.
    Jard, C., Jéron, T., Tanguy, L., Viho, C.: Remote testing can be as powerful as local testing. In: Proc. of FORTE XII. IFIP Proc., vol. 156, pp. 25–40. Kluwer, Dordrecht (1999)Google Scholar
  3. 3.
    Noroozi, N., Khosravi, R., Mousavi, M.R., Willemse, T.A.C.: Synchronizing Asynchronous Conformance Testing. Computer Science Report, no. 11-10, 16 pp. Technische Universiteit Eindhoven, Eindhoven (2011)Google Scholar
  4. 4.
    Petrenko, A., Yevtushenko, N.: Queued testing of transition systems with inputs and outputs. In: Proc. of FATES 2002, pp. 79–93 (2002)Google Scholar
  5. 5.
    Petrenko, A., Yevtushenko, N., Huo, J.: Testing transition systems with input and output testers. In: Hogrefe, D., Wiles, A. (eds.) TestCom 2003. LNCS, vol. 2644, pp. 129–145. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  6. 6.
    Simao, A., Petrenko, A.: From test purposes to asynchronous test cases. In: Proc. of ICSTW 2010, pp. 1–10. IEEE CS, Los Alamitos (2010)Google Scholar
  7. 7.
    Tretmans, J.: A formal Approach to conformance testing. PhD thesis, Univ. of Twente, The Netherlands (1992)Google Scholar
  8. 8.
    Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Software—Concepts and Tools 3, 103–120 (1996)zbMATHGoogle Scholar
  9. 9.
    Tretmans, J.: Model based testing with labelled transition systems. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) FORTEST. LNCS, vol. 4949, pp. 1–38. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  10. 10.
    Tretmans, J., Verhaard, L.: A queue model relating synchronous and asynchronous communication. In: Proc. of PSTV 1992. IFIP Tr., vol. C-8, pp. 131–145. North-Holland, Amsterdam (1992)Google Scholar
  11. 11.
    Verhaard, L., Tretmans, J., Kars, P., Brinksma, E.: On asynchronous testing. In: Proc. of IWPTS 1993. IFIP Tr., vol. C-11, pp. 55–66. North-Holland, Amsterdam (1993)Google Scholar
  12. 12.
    Weiglhofer, M.: Automated Software Conformance Testing. PhD thesis, TU Graz (2009)Google Scholar
  13. 13.
    Weiglhofer, M., Wotawa, F.: Asynchronous input-output conformance testing. In: Proc. of COMPSAC 2009, pp. 154–159. IEEE CS, Los Alamitos (2009)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

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

Personalised recommendations