着色Petri网模型驱动的云测试生成方法与实现  

A Colored Petri Nets Model Based Cloud Test Generation Approach and Implementation System

作　　者：刘靖[1] 吴海博[2] 王少帅[1] 贾垒[1] LIU Jing WU Hai-bo WANG Shao-shuai JIA Lei(College of Compute Science, Inner Mongolia University, Hohhot 010021, China Computer Network Information Center, Chinese Academy of Sciences, Beijing 100190, China)

机构地区：[1]内蒙古大学计算机学院,呼和浩特010021 [2]中国科学院计算机网络信息中心,北京100190

出　　处：《北京邮电大学学报》2016年第5期89-93,115,共6页Journal of Beijing University of Posts and Telecommunications

基　　金：国家自然科学基金项目(61262017);内蒙古自然科学基金项目(2015MS0611)

摘　　要：为进一步提高测试生成效率,提升大规模测试生成的自动化程度,构建了一种基于着色Petri网模型的一致性云测试生成方法,称为PT-Cloud方法,并将该方法实现为可提供一致性测试生成服务的云测试生成平台.该方法利用MapReduce技术,实现了面向测试生成需求的被测系统着色Petri网模型重构和标记,并在此基础上以实际测试数据驱动一致性测试例的自动生成.经实际测试生成和执行实践验证,PT-Cloud方法能保证所生成的测试例是切实可执行的,同时有效提高了测试生成的效率和自动化程度.To improve efficiency and automation degree of large-scale test generation,a colored Petri nets（ CPN） model based conformance test generation approach,named as PT-Cloud approach,is proposed and implemented to provide a cloud based conformance test case generation service. Utilizing MapReduce technology,PT-Cloud approach could perform test generation oriented model reconfiguration and labeling process,and then test cases with actual input data could be automatically generated. Validated through practical test generation and execution,the PT-Cloud approach could guarantee that all generated test cases are sufficiently feasible for practical test executions,and the efficiency and automatic degree of test generation are effectively promoted.

关 键 词：测试生成 着色PETRI网 云计算 MAPREDUCE 

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