Conformance testing with labelled transition systems: implementation relations and test generation
Computer Networks and ISDN Systems - Special issue on protocol testing
Test and Analysis of Web Services
Test and Analysis of Web Services
Automatic Test Case Generation for Interacting Services
Service-Oriented Computing --- ICSOC 2008 Workshops
Asynchronous Input-Output Conformance Testing
COMPSAC '09 Proceedings of the 2009 33rd Annual IEEE International Computer Software and Applications Conference - Volume 01
Operating guidelines for finite-state services
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
From Test Purposes to Asynchronous Test Cases
ICSTW '10 Proceedings of the 2010 Third International Conference on Software Testing, Verification, and Validation Workshops
Generating test cases for web services using extended finite state machine
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Wendy: a tool to synthesize partners for services
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
| Hi-index | 0.00 |
We suggest a black box testing approach to examine conformance for stateful services. Here, we consider asynchronous communication in which messages can overtake each other during their transmission. For testing, we generate partner services that exchange messages with the implementation under test (IUT). From the observations made during testing, we are then able to infer whether the IUT conforms to its specification. We study how partner services need to be designed to serve conformance testing in an asynchronous setting and present an algorithm which generates a complete test suite.