Web Services Testing Based on Stream X-machine

In order to verify the behavior of Semantic Web services, this paper have chosen Stream X-machine(SXM) as a test model to test the Web services operation sequence and proposed the systematic method to utilize semantic information (pre-conditions of the operation and effect) to construct SXM. This paper explains the construction algorithm by the example of multimedia international conference and conducts a theoretical analysis of the method of construction to prove the effectiveness of the method. It also discusses the automation, on the basis of which automated support tools have been developed. Web registration centers and users can apply SXM constructed in this paper to generating test cases for the operation sequence of Web services to verify equivalence between Semantic Web services specifications and the functional behavior of their implementation.