| 一种基于Petri的服务组合测试模型和分析方法 |
| |
| 引用本文： | 陈诚,范贵生,顾春华,张弘.一种基于Petri的服务组合测试模型和分析方法[J].华东理工大学学报(自然科学版),2012(2):226-232. |
| |
| 作者姓名： | 陈诚 范贵生 顾春华 张弘 |
| |
| 作者单位： | 上海万达信息股份有限公司;华东理工大学计算机科学与工程系;中国建设银行浙江省分行 |
| |
| 基金项目： | 上海市曙光计划(07SG32);国家科技支撑计划(2009BAH46B05);国家自然科学基金(60773094) |
| |
| 摘 要： | 测试用例选择是服务组合测试的重要内容,将直接影响服务测试的效率和正确性。采用Petri网分别对基本服务、组件和测试用例等组成部分建立形式化模型,进行形成整个服务组合的测试模型。基于模型的状态空间分析测试用例的选择和实施。借助Petri网的操作语义及相关理论,分析了该方法的有效性及正确性。具体实例结果表明:该方法能有效地简化服务组合的测试过程,有助于提高测试的质量和效率。
|
| 关 键 词： | 服务组合 测试模型 测试用例 Petri网 |
A Testing Model for Service Composition and Its Analysis Based on Petri Nets |
| |
| CHEN Cheng,FAN Gui-sheng,GU Chun-hua,ZHANG Hong.A Testing Model for Service Composition and Its Analysis Based on Petri Nets[J].Journal of East China University of Science and Technology,2012(2):226-232. |
| |
| Authors: | CHEN Cheng FAN Gui-sheng GU Chun-hua ZHANG Hong |
| |
| Institution: | 1.Wonders Information Co.Ltd,Shanghai 200040,China; 2.Department of Computer Science and Engineering,East China University of Science and Technology,Shanghai 200237,China; 3.Zhejiang Branch of China Construction Bank,Hangzhou 310003,China) |
| |
| Abstract: | 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. |
| |
| Keywords: | service composition testing model test case Petri nets |
| 本文献已被 CNKI 等数据库收录！ |
|
