Automatic synthesis of behavior protocols for composable web-services
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Approaches to testing service-oriented software systems
Proceedings of the 1st international workshop on Quality of service-oriented software systems
Automated performance assessment for service-oriented middleware: a case study on BPEL engines
Proceedings of the 19th international conference on World wide web
Synthesizing adapters for conversational web-services from their WSDL interface
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
Improving wide-area distributed system availability
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
ACM SIGSOFT Software Engineering Notes
Usage profile and platform independent automated validation of service behavior specifications
Proceedings of the 2nd International Workshop on the Quality of Service-Oriented Software Systems
Improving data perturbation testing techniques for Web services
Information Sciences: an International Journal
Automatically testing web services choreography with assertions
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Towards efficient measuring of web services API coverage
Proceedings of the 3rd International Workshop on Principles of Engineering Service-Oriented Systems
An accuracy information annotation model for validated service behavior specifications
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
Generation of test data structures using constraint logic programming
TAP'12 Proceedings of the 6th international conference on Tests and Proofs
An automated analysis methodology to detect inconsistencies in web services with WSDL interfaces
Software Testing, Verification & Reliability
A Metamorphic Relation-Based Approach to Testing Web Services Without Oracles
International Journal of Web Services Research
Turning web services descriptions into quickcheck models for automatic testing
Proceedings of the twelfth ACM SIGPLAN workshop on Erlang
Testing web service's compositions following TASSA methodology
Proceedings of the 14th International Conference on Computer Systems and Technologies
Automating property-based testing of evolving web services
Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation
Security Testing Methodology for Vulnerabilities Detection of XSS in Web Services and WS-Security
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |
Web Services (WSs) are the W3C-endorsed realization of the Service-Oriented Architecture (SOA). Since they are supposed to be implementation-neutral, WSs are typically tested black-box at their interface. Such an interface is generally specified in an XML-based notation called the WS Description Language (WSDL). Conceptually, these WSDL documents are eligible for fully automated WS test generation using syntax-based testing approaches. Towards such goal, we introduce the WS-TAXI framework, in which we combine the coverage of WS operations with data-driven test generation. In this paper we present an early-stage implementation of WS-TAXI, obtained by the integration of two existing softwares: soapUI, a popular tool for WS testing, and TAXI, an application we have previously developed for the automated derivation of XML instances from a XML schema. WS-TAXI delivers a complete suite of test messages ready for execution. Test generation is driven by basic coverage criteria and by the application of some heuristics. The application of WS-TAXI to a real case study gave encouraging results.