Web Service Test Based on Algebraic Specification

Bo YU,Liang KONG,Chen PENG
DOI: https://doi.org/10.3969/j.issn.1000-3428.2009.21.020
2009-01-01
Abstract:For testing Web services automatically, the method testing Web service based on algebraic specification is proposed. The algebraic specification language ASOWS for describing Web service is represented. The test cases are automatically generated based on algebraic specification of Web service according to the method coverage criterion and the equation coverage criterion. The prototype tool for testing Web service is implemented. Experimental result shows that the method can be applied to test Web service automatically deployed on Web application server.
What problem does this paper attempt to address?