Skip to main content
SpringerLink
Log in

Synchronizing Asynchronous Conformance Testing

  • Conference paper
Software Engineering and Formal Methods (SEFM 2011)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 7041))

Included in the following conference series:

Abstract

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.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

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: Proc. of FSEN 2011. LNCS. Springer, Heidelberg (2011)

    Google Scholar 

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

    Chapter  Google Scholar 

  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. Tretmans, J.: A formal Approach to conformance testing. PhD thesis, Univ. of Twente, The Netherlands (1992)

    Google Scholar 

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

    MATH  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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. Weiglhofer, M.: Automated Software Conformance Testing. PhD thesis, TU Graz (2009)

    Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. Eindhoven University of Technology, 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, 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

Editor information

Editors and Affiliations

  1. Fundación IMDEA Software, Facultad de Informatica (UPM), Campus Montegancedo, 28660, Boadilla del Monte, Madrid, Spain

    Gilles Barthe

  2. Instituto de Computación, Universidad de la República, Facultad de Ingeniería, Julio Herrera y Reissig 565 - Piso 5, 11300, Montevideo, Uruguay

    Alberto Pardo

  3. Department of Computer Science and Engineering, Chalmers | University of Gothenburg, Kunskapsgatan 3, 41756, Gothenburg, Sweden

    Gerardo Schneider

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Noroozi, N., Khosravi, R., Mousavi, M.R., Willemse, T.A.C. (2011). Synchronizing Asynchronous Conformance Testing. In: Barthe, G., Pardo, A., Schneider, G. (eds) Software Engineering and Formal Methods. SEFM 2011. Lecture Notes in Computer Science, vol 7041. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24690-6_23

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-24690-6_23

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-24689-0

  • Online ISBN: 978-3-642-24690-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation