论文部分内容阅读
UML2．0已经成为最重要的建模语言，BPEL是描述Web服务业务流程的事实标准。本文提出了基于UMI．2．0活动图对BPEL建模并进行测试的方法。该方法扩展了活动图，给出其形式化定义以及测试覆盖准则的定义，对测试用例生成算法加以约束，提高了测试的效率和精确性。最后结合实例探讨了Web服务业务流程自动化测试方法的可行性。