Skip to Main Content
With the increase of the popularity of Web service, more and more Web applications are developed with this new kind of components. Web service quality validation and control is becoming very critical to vendors, brokers and application builders. Both brokers and users usually have to use black-box testing because design and implementation details of Web service are unavailable. This paper proposes a formal approach for automated test data generation for Web service single operation based on WSDL specification. Firstly, we define a formal model for the datatype of input element of the operation. Secondly, the paper presents an algorithm that derives the model from WSDL. Thirdly, the paper presents a method that generates test data for operations from the model. Examples of using this approach are given in order to give evidence of its usefulness.