Synchronizing asynchronous conformance testing

Authors:
Neda Noroozi;Ramtin Khosravi;Mohammad Reza Mousavi;Tim A. C. Willemse
Affiliations:
Eindhoven University of Technology, Eindhoven, The Netherlands and Fanap Corporation, Tehran, Iran;University of Tehran, Tehran, Iran;Eindhoven University of Technology, Eindhoven, The Netherlands;Eindhoven University of Technology, Eindhoven, The Netherlands
Venue:
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
Year:
2011

Citing 8
Cited 0

A Queue Model Relating Synchronous and Asynchronous Communication

Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification XII
Remote testin can be as powerful as local testing

FORTE XII / PSTV XIX '99 Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX)
On Asynchronous Testing

Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems V
Asynchronous Input-Output Conformance Testing

COMPSAC '09 Proceedings of the 2009 33rd Annual IEEE International Computer Software and Applications Conference - Volume 01
Testing transition systems with input and output testers

TestCom'03 Proceedings of the 15th IFIP international conference on Testing of communicating systems
From Test Purposes to Asynchronous Test Cases

ICSTW '10 Proceedings of the 2010 Third International Conference on Software Testing, Verification, and Validation Workshops
Model based testing with labelled transition systems

Formal methods and testing
Towards model-based testing of electronic funds transfer systems

FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering

Quantified Score

Hi-index	0.00

Visualization

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.