Web服务编排场景的XML Schema消息类型精化

THE REFINEMENT OF XML SCHEMA TYPE OF WEB SERVICES ARRANGEMENT SCENE

Web服务(Web Services)编排描述了Web服务组合的交互行为,在实际开发中,Web服务组合的实现可能存在交互的数据类型、交互序列与编排规范不相符的情况,为了测试Web服务(组合)与编排的相符性,需要从编排规范生成测试用例。由于编排场景描述了编排中各个参与方的交互序列及其交互消息的XML Schema类型,从而可以根据场景中的XML Schema类型生成测试数据。由于XML Schema类型中指示器的作用导致类型的不确定性,需要解决XML Schema类型精化问题,为此提出了基于组合测试的XML Schema类型精化方法。通过定义XML Schema类型树,给出了基于组合测试工具Cascade的类型精化算法,并通过实例表明该方法的有效性。

Web Services arrangement specifies the interaction among multiple Web services. In the actual development,interactive data type and interactive sequence may not be consistent with arrangement standard. It needs to generate the test data to check the conformance of the implementation with reference to the arrangement standard. Since arrangement scene describes the interactions sequence of each participant and the XML Schema type of its interaction information,the test data can be generated by the XML Schema. The indicators in XML Schema type lead to the uncertainty of the data type,so the method of the XML Schema type refinement is proposed to solve the problem based on combined test. By defining the XML Schema type tree and presenting the type tree refinement algorithm based on the combinatorial tool Cascade,the effectiveness is proved by examples.