摘要:
UML 2.0已经成为最重要的建模语言,BPEL是描述Web服务业务流程的事实标准。本文提出了基于UML 2.0活动图对BPEL建模并进行测试的方法。该方法扩展了活动图,给出其形式化定义以及测试覆盖准则的定义,对测试用例生成算法加以约束,提高了测试的效率和精确性。最后结合实例探讨了Web服务业务流程自动化测试方法的可行性。
中图分类号:
宋朝云, 张俊. 一种基于UML 2.0活动图的Web服务业务流程测试方法[J]. J4, 2010, 23(4): 56-60.
SONG Chao-Yun, ZHANG Jun. A UML 2.0 Activity Diagram Based Test Method for Web Services[J]. J4, 2010, 23(4): 56-60.