Theory of Fault-Based Predicate Testing for Computer Programs
IEEE Transactions on Software Engineering
Using a goal-driven approach to generate test cases for GUIs
Proceedings of the 21st international conference on Software engineering
Generating finite state machines from abstract state machines
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Projected state machine coverage for software testing
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Test Case Generation as an AI Planning Problem
Automated Software Engineering
STG: A Symbolic Test Generation Tool
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Formal Derivation of Finite State Machines for Class Testing
ZUM '98 Proceedings of the 11th International Conference of Z Users on The Z Formal Specification Notation
A Comparison of the BTT and TTF Test-Generation Methods
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Automating the Generation and Sequencing of Test Cases from Model-Based Specifications
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
Using Model Checking to Generate Tests from Specifications
ICFEM '98 Proceedings of the Second IEEE International Conference on Formal Engineering Methods
Proceedings of the 16th IEEE international conference on Automated software engineering
Plannable Test Selection Criteria for FSMs Extracted From Operational Specifications
ISSRE '04 Proceedings of the 15th International Symposium on Software Reliability Engineering
Adaptive Testing, Oracle Generation, and Test Case Ranking for Web Services
COMPSAC '05 Proceedings of the 29th Annual International Computer Software and Applications Conference - Volume 01
WSDL-Based Automatic Test Case Generation for Web Services Testing
SOSE '05 Proceedings of the IEEE International Workshop
Audition of web services for testing conformance to open specified protocols
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Leveraging Semantic Web Service Descriptions for Validation by Automated Functional Testing
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Bringing white-box testing to Service Oriented Architectures through a Service Oriented Approach
Journal of Systems and Software
Service research challenges and solutions for the future internet
Testing against visual contracts: model-based coverage
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
A systematic review on the functional testing of semantic web services
Journal of Systems and Software
Hi-index | 0.00 |
We propose a model based approach to functional conformance test generation for web services which operate in the presence of persistent data. Typically, web services are described in a standard notation called Web Services Description Language (WSDL). Unfortunately, WSDL standard does not allow behavioral specification (such as pre- and postconditions)of web services in the presence of persistent data. New standards which remedy this situation are being proposed (such as WSDL-S). In this paper, we propose the use of existing test generation techniques based on Extended Finite State Machine (EFSM) specification to address the generation of functional conformance testes for web services which operate on persistent data. The novel contribution of this paper is an algorithm which translates a WSDL-S behavioral specification of operations of a web service into an equivalent EFSM representation which can be exploited to generate an effective set of test cases.