A journey to highly dynamic, self-adaptive service-based applications
Automated Software Engineering
Service-Oriented Architectures Testing: A Survey
Software Engineering
A Framework for Testing Semantic Web Services Using Model Checking
SEEFM '09 Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods
XML-manipulating test case prioritization for XML-manipulating services
Journal of Systems and Software
Modeling behavioral RESTful web service interfaces in UML
Proceedings of the 2011 ACM Symposium on Applied Computing
Engineering multi-tenant software-as-a-service systems
Proceedings of the 3rd International Workshop on Principles of Engineering Service-Oriented Systems
Service research challenges and solutions for the future internet
OCL-based testing for e-learning web service
ICWL'10 Proceedings of the 2010 international conference on New horizons in web-based learning
Designing level 3 behavioral RESTful web service interfaces
ACM SIGAPP Applied Computing Review
A service-oriented reference architecture for software testing tools
ECSA'11 Proceedings of the 5th European conference on Software architecture
Adequate monitoring of service compositions
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
A systematic review on the functional testing of semantic web services
Journal of Systems and Software
| Hi-index | 0.00 |
Service-oriented architectures introduce some important issues that need to be considered when performing software testing. In a service-oriented scenario, users just invoke a service, instead of physically integrating it (as it happens for components). The service provider can decide to maintain the service, and the user could not be aware of that. The dynamically constructed service-based system has to be tested dynamically and automatically at runtime without human intervention. This paper examines the use of Design by Contract for web service descriptions, and explores the issues and solutions of automatic test case generation and test oracle generation in the context of WS testing based on contracts. In our approach, the traditional concept of contracts (pre-condition, post-condition, and invariant) is extended to contain richer information, such as process control, to support automatic test generation. Contracts are used to specify the relation between a component and its clients as a formal agreement, expressing each party's rights and obligations. Contracts can be expressed in the OWL-S process model. By checking whether the web service respects its contracts, we can ascertain its validity. Therefore, contracts provide the basis for the automation of the testing process.