论文部分内容阅读
面向服务的体系结构(Service-Oriented Architecture，SOA)是一个组件模型，它将应用程序的不同功能单元(称为服务)通过这些服务之间定义良好的接口和契约联系起来。由于服务的复杂性、动态性、异构性和组件服务本身的可用性等问题使得对服务组合进行测试和分析都相当困难，很多传统的软件测试技术对于服务都已失效，而服务质量又是SOA不可回避的一个问题，如何对单个服务和组合服务进行测试，同时保证服务组合结果的正确性及有效性，已成为软件工程领域具有的研究课题。
本文研究面向服务软件的测试技术，具体工作如下：
(1)提出一种结合使用等价划分技术和边界值分析技术的WSDL测试用例生成方法。该方法能够保证生成测试用例的有效性，还可以测试单个服务和组合服务。
(2)基于Petri网建立了BPEL模型，通过对BPEL流程的模拟生成测试用例。这个方法的特点在于当服务数量较多时依然可以保证较高的测试效率，不会受到服务数量增加的影响。
(3)将本文所提出的技术应用在一个船运服务案例上，展示了所提出的技术应用及其有效性。