The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Software Testing: A Craftman's Approach
Software Testing: A Craftman's Approach
Coyote: An XML-Based Framework for Web Services Testing
HASE '02 Proceedings of the 7th IEEE International Symposium on High Assurance Systems Engineering
Coverage Criteria for Logical Expressions
ISSRE '03 Proceedings of the 14th International Symposium on Software Reliability Engineering
WSDLTest - A Tool for Testing Web Services
WSE '06 Proceedings of the Eighth IEEE International Symposium on Web Site Evolution
AICCSA '05 Proceedings of the ACS/IEEE 2005 International Conference on Computer Systems and Applications
A Refined Goal Model for Semantic Web Services
ICIW '07 Proceedings of the Second International Conference on Internet and Web Applications and Services
Ontology-Based Test Case Generation for Testing Web Services
ISADS '07 Proceedings of the Eighth International Symposium on Autonomous Decentralized Systems
Specification-based Test Generation and Optimization Using Model Checking
TASE '07 Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering
Contract-Based Testing for Web Services
COMPSAC '07 Proceedings of the 31st Annual International Computer Software and Applications Conference - Volume 01
Towards Specification Based Testing for Semantic Web Services
ASWEC '09 Proceedings of the 2009 Australian Software Engineering Conference
ProTest: An Automatic Test Environment for B Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Object Oriented Concepts Identification from Formal B Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
A systematic review on the functional testing of semantic web services
Journal of Systems and Software
Hi-index | 0.00 |
Web Services (WS), which are based on standard XML protocols, such as, WSDL, SOAP and UDDI, are the building blocks of Service Oriented Architecture (SOA). The aim of SOA is to automate web service tasks, such as, web service discovery, selection, composition and execution. Since XML is a syntax-based language, the automation of these tasks is still a challenge. To overcome this, web services can be described semantically using an ontology description language, e.g., Web Ontology Language (OWL), giving rise to semantic web services (SWS). Because semantic web services are relatively new, there has been little research into testing and quality assurance aspects. In this paper, we propose a novel approach for generating test cases based on user requirements for testing semantic web services. In SWS frameworks, such as, Web Service Modelling Ontology (WSMO), the user requirements are presented as a goal specification in terms of a state model. We use a model checking approach to generate test cases from this state model. To achieve this, we represent a set of rules for translation from a goal specification to a formal B abstract state machine. The B representation of the goal specification is given as input to the model checker to generate concrete test cases using the assertion violation property of the model checker. Finally, the proposed framework is evaluated using a real world case study based on, the Amazon E-commerce Service.