一种基于Petri的服务组合测试模型和分析方法  

A Testing Model for Service Composition and Its Analysis Based on Petri Nets

作　　者：陈诚[1] 范贵生[2] 顾春华[2] 张弘[3] 

机构地区：[1]上海万达信息股份有限公司,上海200040 [2]华东理工大学计算机科学与工程系,上海200237 [3]中国建设银行浙江省分行,杭州310003

出　　处：《华东理工大学学报（自然科学版）》2012年第2期226-232,共7页Journal of East China University of Science and Technology

基　　金：上海市曙光计划(07SG32);国家科技支撑计划(2009BAH46B05);国家自然科学基金(60773094)

摘　　要：测试用例选择是服务组合测试的重要内容,将直接影响服务测试的效率和正确性。采用Petri网分别对基本服务、组件和测试用例等组成部分建立形式化模型,进行形成整个服务组合的测试模型。基于模型的状态空间分析测试用例的选择和实施。借助Petri网的操作语义及相关理论,分析了该方法的有效性及正确性。具体实例结果表明:该方法能有效地简化服务组合的测试过程,有助于提高测试的质量和效率。Software testing is one of the important techniques to guarantee the quality of service composition,which will directly affect the efficiency and correctness of service testing.In this paper,a testing model for service composition is proposed by establishing the formal model for basic services,components,test cases and other components via Petri nets.Moreover,by means of the analysis of state space model,the test cases selection and implementation strategy for service composition are given.The effectiveness and feasibility of the proposed algorithm are verified by the operation semantics and related theories of Petri nets.Finally,it is shown from experimental results that the present approach can effectively simplify the testing process of service composition,and improve the testing quality and efficiency.

关 键 词：服务组合 测试模型 测试用例 PETRI网 

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