Web services have become popular in the modern infrastructure of the World Wide Web. They aim to provide automatic discovery, selection, and invocation of required applications (services) across the internet. However, the quality assurance aspects of web services remain a challenge. Recently, the semantic web has been introduced as an emerging technology which emphasizes presenting the meaning of the web content to achieve a machine processable automation. In this paper, we explore the synergy of applying specification based software testing techniques to semantic web services. Our approach investigates the possibility of deriving concrete test cases from the goal specification of a semantic web service in order to determine the correctness of a service implementation. Furthermore, we also propose coverage criteria to evaluate the generated test cases at both the goal and the service description levels. We demonstrate the generation and evaluation of the test cases from a goal specification with the help of a simplified discount example.

Nowadays, service oriented architecture has been given strong attention as an important approach to integrate heterogeneous systems, in which complex services are created by composing simpler services offered by various systems. The correctness of composition requires techniques to verify if the composite service behaves properly. To this end, in this paper we propose a new method for runtime monitoring of composite services which uses Communicating Sequential Processes (CSP) to specify properties formally. Then, the CSP specification of properties is translated to a Labeled Transition System (LTS). In order to verify the safety of a composite service, we traverse the generated LTS at runtime. Existing methods almost use temporal logic to specify safety properties. There are two advantages in using CSP: 1) similarity of CSP operators and service composition patterns makes CSP straightforward to be used by users. 2) there are some properties which can not be specified by temporal logic, while they can be expressed using CSP.

No abstract

No abstract

Context: Recent years have witnessed growing interests in Semantic Web and its related technologies. While various frameworks have been proposed for designing Semantic Web Services (SWS), few of them aim at testing.Objective: This paper investigates into the technologies for automatically deriving test cases from semantic web service descriptions based on the Web Service Modelling Ontology (WSMO) framework.Method: WSMO goal specifications were translated into B abstract machines. Test cases were generated via model checking with calculated trap properties from coverage criteria. Furthermore, we employed mutation analysis to evaluate the test suite. In this approach, the model-based test case generation and code-based evaluation techniques are independent of each other, which provides much more accurate measures of the testing results.Results: We applied our approach to a real-world case study of the Amazon E-Commerce Service (ECS). The experimental results have validated the effectiveness of the proposed solution.Conclusion: It is concluded that our approach is capable of automatically generating an effective set of test cases from the WSMO goal descriptions for SWS testing. The quality of test cases was measured in terms of their abilities to discover the injected faults at the code level. We implemented a tool to automate the steps for the mutation-based evaluation.