Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Software and Systems Modeling
Published in: Software and Systems Modeling 1/2015

01-02-2015 | Special Section Paper

Synchrony and asynchrony in conformance testing

Authors: Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim A. C. Willemse

Published in: Software and Systems Modeling | Issue 1/2015

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

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.
previous article Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods
next article Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now
Literature
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)CrossRef
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)
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)
Metadata
Title
Synchrony and asynchrony in conformance testing
Authors
Neda Noroozi
Ramtin Khosravi
Mohammad Reza Mousavi
Tim A. C. Willemse
Publication date
01-02-2015
Publisher
Springer Berlin Heidelberg
Published in
Software and Systems Modeling / Issue 1/2015
Print ISSN: 1619-1366
Electronic ISSN: 1619-1374
DOI
https://doi.org/10.1007/s10270-012-0302-8

Other articles of this Issue 1/2015

Software and Systems Modeling 1/2015 Go to the issue

Special Section Paper

Model synchronization based on triple graph grammars: correctness, completeness and invertibility

Regular Paper

Environment modeling and simulation for automated testing of soft real-time embedded software

Guest Editorial

Guest editorial to the special issue on “modelling–foundations and applications”

Special Section Paper

Procedure-modular specification and verification of temporal safety properties

Special Section Paper

Verification of B $$^+$$ trees by integration of shape analysis and interactive theorem proving

Special Section Paper

TacoFlow: optimizing SAT program verification using dataflow analysis

Premium Partner

    Image Credits