SOA is a major trend of the current software developing and the technology of Web service.With the continuous development of Web services technology and wide application, we need to usethe testing technique to make sure the correct and effective operation of the Web services.However, the new architecture and core protocols are used in the Web services and theirtesting methods differ from traditional software testing or network protocol testing. So it isnecessary to make a study of its testing method and techniques.WS-BPEL is a standard widely used in the service portfolio. However, the existing research ofits structural testing cannot fully express the complex semantics of concurrent structure,compensation and failure handing. This article, taking this as a starting point, is given inconformance testing system method that includes: generating participants message sequence, thegeneration of the reachable tree and the combination method of participants in the test sequence.And the dissertation also presents a request for service developers publishing service cooperativemodel in the test, the introduction of test cases warehouse and the dynamic data collecting toimprove the testability for WS-BPEL. What’s more, the test coverage criteria for WS-BPEL isstudied to put forward “acceptable results†coverage and t-way combination algorithm based onconstraint rules is used for generating a constraint set.At last, an online subscription service process is set as an example. We make a systematicexposition of the process of using the method to generate test cases and analyze its validity. |