[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ Skip to main content
Springer Nature Link
Log in

Synchrony and asynchrony in conformance testing

  • Special Section Paper
  • Published:
Software & Systems Modeling Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
£29.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price includes VAT (United Kingdom)

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8

Similar content being viewed by others

References

  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)

  2. Hierons, R.M.: Implementation relations for testing through asynchronous channels. Comput. J. (2012) (to appear)

  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)

  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)

  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)

  6. Petrenko, A., Yevtushenko, N.: Queued testing of transition systems with inputs and outputs. In: Proceedings of FATES 2002, pp. 79–93 (2002)

  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)

  8. Simao, A., Petrenko, A.; From test purposes to asynchronous test cases. In: Proceedings of ICSTW 2010, pp. 1–10, IEEE CS (2010)

  9. Simao, A., Petrenko, A.: Generating asynchronous test cases from test purposes. J. Inf. Softw. Technol. 53(11), 1252–1262 (2011)

    Article  Google Scholar 

  10. Tretmans, J.: A Formal Approach to Conformance Testing. PhD thesis, University of Twente, The Netherlands (1992)

  11. Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Softw. Concepts and Tools 3, 103–120 (1996)

    Google Scholar 

  12. Tretmans, J.: Model based testing with labelled transition systems. In: Formal Methods and Testing, vol. 4949 of LNCS, pp. 1–38, Springer (2008)

  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)

  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)

  15. Weiglhofer, M.: Automated Software Conformance Testing. PhD thesis, TU Graz (2009)

  16. Weiglhofer, M., Wotawa, F.: Asynchronous input–output conformance testing. In: Proceedings of COMPSAC’09, pp. 154–159, IEEE CS (2009)

  17. Yannakakis, M., Lee, D.: Testing of finite state systems In: Computer Science Logic, vol. 1584 of LNCS, pp. 29–44, Springer (1999)

Download references

Acknowledgments

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

Author information

Authors and Affiliations

  1. Department of Computer Science, Eindhoven University of Technology, P.O. Box 513, 5600 MB , Eindhoven, The Netherlands

    Neda Noroozi, Mohammad Reza Mousavi & Tim A. C. Willemse

  2. Fanap Corporation (IT Subsidiary of Pasargad Bank), Tehran, Iran

    Neda Noroozi

  3. University of Tehran, Room 508—School of ECE (bldg. 2), N. Kargar Ave., P.O. Box 14395-515, Tehran, Iran

    Ramtin Khosravi

Authors
  1. Neda Noroozi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ramtin Khosravi
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Mohammad Reza Mousavi
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Tim A. C. Willemse
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Neda Noroozi.

Additional information

Communicated by Dr. Gerardo Schneider, Gilles Barthe, and Alberto Pardo.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Noroozi, N., Khosravi, R., Mousavi, M.R. et al. Synchrony and asynchrony in conformance testing. Softw Syst Model 14, 149–172 (2015). https://doi.org/10.1007/s10270-012-0302-8

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10270-012-0302-8

Keywords

Search

Navigation