Web Services Testing via Goal and Mutation

Semantic Web Services (SWS) introduce a semantic layer to the current web infrastructure, enabling the automated processing of web tasks. Different frameworks have been proposed for designing SWS, however, there has been little research in the area of testing SWS. Generating test cases for SWS is challenging due to its dynamic nature and abstract views, evaluating the test cases is equally essential in order to ensure the quality of the test suite. In this paper, we propose a goal oriented generation and mutation based evaluation approach towards SWS testing. This way, the generation (model-based) and evaluation (code-based) procedures are totally independent to each other, which further provides a much accurate measurement on the results. In addition, a tool support has been developed to automate the major steps in the proposed solution.