Selecting Software Test Data Using Data Flow Information
IEEE Transactions on Software Engineering
Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Analyzing Partition Testing Strategies
IEEE Transactions on Software Engineering
A new technique for generating protocol test
SIGCOMM '85 Proceedings of the ninth symposium on Data communications
Test cases selection from SDL specifications
Computer Networks: The International Journal of Computer and Telecommunications Networking - special issue on MSC and SDL in project life cycles
Web Services Essentials
Extending WSDL to Facilitate Web Services Testing
HASE '02 Proceedings of the 7th IEEE International Symposium on High Assurance Systems Engineering
Data flow analysis techniques for test data selection
ICSE '82 Proceedings of the 6th international conference on Software engineering
Generating test cases for web services using data perturbation
ACM SIGSOFT Software Engineering Notes
A Domain Strategy for Computer Program Testing
IEEE Transactions on Software Engineering
Automatic conformance testing of web services
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Software Testing Research: Achievements, Challenges, Dreams
FOSE '07 2007 Future of Software Engineering
On quality assurance of web services in agile projects: an experience report
Proceedings of the 3rd ACM workshop on Software engineering for pervasive services
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
Service research challenges and solutions for the future internet
Information and Software Technology
Conformance testing for asynchronously communicating services
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Journal of Systems and Software
A test-based security certification scheme for web services
ACM Transactions on the Web (TWEB)
Towards property-based testing of RESTful web services
Proceedings of the twelfth ACM SIGPLAN workshop on Erlang
| Hi-index | 0.00 |
Web services utilize a standard communication infrastructure such as XML and SOAP to communicate through the Internet. Even though Web services are becoming more and more widespread as an emerging technology, it is hard to test Web services because they are distributed applications with numerous aspects of runtime behavior that are different from typical applications. This paper presents a new approach to testing Web services based on EFSM (Extended Finite State Machine). WSDL (Web Services Description Language) file alone does not provide dynamic behavior information. This problem can be overcome by augmenting it with a behavior specification of the service. Rather than domain partitioning or perturbation techniques, we choose EFSM because Web services have control flow as well as data flow like communication protocols. By appending this formal model of EFSM to standard WSDL, we can generate a set of test cases which has a better test coverage than other methods. Moreover, a procedure for deriving an EFSM model from WSDL specification is provided to help a service provider augment the EFSM model describing dynamic behaviors of the Web service. To show the efficacy of our approach, we applied our approach to Parlay-X Web services. In this way, we can test Web services with greater confidence in potential fault detection.