The category-partition method for specifying and generating fuctional tests
Communications of the ACM
WSDL-Based Automatic Test Case Generation for Web Services Testing
SOSE '05 Proceedings of the IEEE International Workshop
Automatic Test Data Generation for XML Schema-based Partition Testing
AST '07 Proceedings of the Second International Workshop on Automation of Software Test
systematic generation of XML instances to test complex software applications
RISE'06 Proceedings of the 3rd international conference on Rapid integration of software engineering techniques
A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems
TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
Generating Interface Grammars from WSDL for Automated Verification of Web Services
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
XML-manipulating test case prioritization for XML-manipulating services
Journal of Systems and Software
Automated generation of web service stubs using LTL satisfiability solving
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
Passive testing of web services
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
Checking the behavioral conformance of web services with symbolic testing and an SMT solver
TAP'11 Proceedings of the 5th international conference on Tests and proofs
| Hi-index | 0.01 |
With the emergence of service-oriented computing, proper approaches are needed to validate a Web Service (WS) behaviour. In the last years several tools automating WS testing have been released. However, generally the selection of which and how many test cases should be run, and the instantiation of the input data into each test case, is still left to the human tester. In this paper we introduce a proposal to automate WSDL-based testing, which combines the coverage of WS operations with data-driven test case generation. We sketch the general architecture of a test environment that basically integrates two existing tools: soapUI, which is a popular tool for WS testing, and TAXI, which is a tool we have previously developed for the automated derivation of XML instances from a XML Schema. The test suite generation can be driven by basic coverage criteria and by the application of some heuristics, aimed in particular at systematically combining the generated instance elements in different ways, and at opportunely varying the cardinalities and the data values used for the generated instances.