摘要：
UML 2.0已经成为最重要的建模语言，BPEL是描述Web服务业务流程的事实标准。本文提出了基于UML 2.0活动图对BPEL建模并进行测试的方法。该方法扩展了活动图，给出其形式化定义以及测试覆盖准则的定义，对测试用例生成算法加以约束，提高了测试的效率和精确性。最后结合实例探讨了Ｗｅｂ服务业务流程自动化测试方法的可行性。
中图分类号:
TTP311.5
开放获取 本文遵循知识共享-署名-非商业性4.0国际许可协议（CC BY-NC 4.0），允许第三方对本刊发表的论文自由共享（即在任何媒介以任何形式复制、发行原文）、演绎（即修改、转换或以原文为基础进行创作），必须给出适当的署名，提供指向本文许可协议的链接，同时表明是否对原文作了修改，不得将本文用于商业目的。CC BY-NC 4.0许可协议详情请访问 https://creativecommons.org/licenses/by-nc/4.0
