Research On Web Service Automation Testing Technology Based On Algebraic Statute

Recently, Web services have been more and more widely used. But in practical application, it has many technical challenges, especially the trust problem between service providers and service consumers, that is how to select reliable service in many Web services. Test is a very effective solution, and automated testing technology is helpful to strengthen test effectiveness and improve test efficiency.This paper studies the theory and technology of Web services test based on algebraic specification, and solves part of the challenges of service oriented software characteristics bring to software testing.This paper uses formal specification language to describe Web service. Compared with other specification methods, algebraic specification has higher level of abstraction, completely independent of system implementation details, and supporting the automated testing. This paper firstly introduces algebraic specification language SOFIA in details, and then puts forward a framework of Web service automic testing based on algebraic specification, respectively display the three aspects of the framework:test data generation, test execution and test result evaluation. Finally, this paper realizes a prototype tool of Web services automatic testing based on algebraic specification, and through some case studies demonstrates the feasibility of the framework and the tool.