一种基于UML 2.0活动图的Web服务业务流程测试方法  

A UML 2.0 Activity Diagram Based Test Method for Web Services

作　　者：宋朝云 张峻[2] 

机构地区：[1]山东省平邑鲁安电力设备公司,山东临沂273300 [2]山东省计算中心,山东济南250014

出　　处：《山东科学》2010年第4期56-60,共5页Shandong Science

摘　　要：UML2.0已经成为最重要的建模语言,BPEL是描述Web服务业务流程的事实标准。本文提出了基于UML2.0活动图对BPEL建模并进行测试的方法。该方法扩展了活动图,给出其形式化定义以及测试覆盖准则的定义,对测试用例生成算法加以约束,提高了测试的效率和精确性。最后结合实例探讨了Web服务业务流程自动化测试方法的可行性。UML2.0 has become the most important software modeling language. BPEL is the de facto standard for describing web services business process. This paper presents a UML2. 0 activity diagram based BPEL modeling and test method. The method extends activity diagram and presents its formalized definition and the definition of test coverage rules. It restricts test case generation algorithm and improves the efficiency and accuracy of testing. This paper finally investigates the feasibility of the automatic test method of web services business process.

关 键 词：UML2.0 活动图 BPEL 软件测试 测试用例 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]