一种基于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网分别对基本服务、组件和测试用例等组成部分建立形式化模型,进行形成整个服务组合的测试模型。基于模型的状态空间分析测试用例的选择和实施。借助Petri网的操作语义及相关理论,分析了该方法的有效性及正确性。具体实例结果表明：该方法能有效地简化服务组合的测试过程,有助于提高测试的质量和效率。