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

doi:10.13190/j.jbupt.2016.05.018

北京邮电大学学报 ›› 2016, Vol. 39 ›› Issue (5): 89-93,115.doi: 10.13190/j.jbupt.2016.05.018

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

刘靖¹, 吴海博², 王少帅¹, 贾垒¹

1. 内蒙古大学计算机学院, 呼和浩特 010021;
2. 中国科学院计算机网络信息中心, 北京 100190

收稿日期:2015-10-19 出版日期:2016-10-28 发布日期:2016-12-02
作者简介:刘靖(1981-),男,博士,副教授,E-mail:liujing@imu.edu.cn.
基金资助:
国家自然科学基金项目（61262017）；内蒙古自然科学基金项目（2015MS0611）

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

LIU Jing¹, WU Hai-bo², WANG Shao-shuai¹, JIA Lei¹

1. College of Compute Science, Inner Mongolia University, Hohhot 010021, China;
2. Computer Network Information Center, Chinese Academy of Sciences, Beijing 100190, China

Received:2015-10-19 Online:2016-10-28 Published:2016-12-02

摘要/Abstract

摘要： 为进一步提高测试生成效率，提升大规模测试生成的自动化程度，构建了一种基于着色Petri网模型的一致性云测试生成方法，称为PT-Cloud方法，并将该方法实现为可提供一致性测试生成服务的云测试生成平台.该方法利用MapReduce技术，实现了面向测试生成需求的被测系统着色Petri网模型重构和标记，并在此基础上以实际测试数据驱动一致性测试例的自动生成.经实际测试生成和执行实践验证，PT-Cloud方法能保证所生成的测试例是切实可执行的，同时有效提高了测试生成的效率和自动化程度.

关键词: 测试生成, 着色Petri网, 云计算, MapReduce

Abstract: 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.

Key words: test generation, colored Petri nets, cloud computing, MapReduce

中图分类号:

TP311

刘靖, 吴海博, 王少帅, 贾垒. 着色Petri网模型驱动的云测试生成方法与实现[J]. 北京邮电大学学报, 2016, 39(5): 89-93,115.

LIU Jing, WU Hai-bo, WANG Shao-shuai, JIA Lei. A Colored Petri Nets Model Based Cloud Test Generation Approach and Implementation System[J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2016, 39(5): 89-93,115.

[1]	张志华, 王梦情, 毛文涛, 刘春红, 程渤. 基于时序相关性的云平台多负载序列联合预测[J]. 北京邮电大学学报, 2020, 43(4): 68-75.
[2]	尹学渊, 陈兴蜀, 李辉, 陈林. 一种基于虚拟化的文件杀毒实现方法[J]. 北京邮电大学学报, 2018, 41(2): 50-55.
[3]	朱晓宁, 孙斌, 朱春鸽. 大规模云资源可靠性评价模型[J]. 北京邮电大学学报, 2017, 40(s1): 53-57.
[4]	徐九韵, 管超, 江丹. 一种面向信誉主观性和时变性的云服务信任管理方法[J]. 北京邮电大学学报, 2017, 40(5): 30-35.
[5]	肖丁, 贾亚璞, 石川. 云计算环境下的非线性能耗建模方法[J]. 北京邮电大学学报, 2016, 39(1): 107-111.
[6]	郭力争, 张翼飞, 赵曙光. 数据中心环境下能耗性能感知的优化方法[J]. 北京邮电大学学报, 2015, 38(s1): 72-76.
[7]	于俊洋, 胡志刚, 刘秀磊. HDFS平台上以能效为考量的小文件合并[J]. 北京邮电大学学报, 2015, 38(6): 34-38.
[8]	武斌, 林幸, 李卫东, 芦天亮, 张冬梅. 云计算下手机人工免疫恶意代码检测模型[J]. 北京邮电大学学报, 2015, 38(4): 34-38.
[9]	孙伟, 张和生, 潘成, 杨军. IEEE 802.11p车载自组网的HSCPN建模及分析[J]. 北京邮电大学学报, 2015, 38(2): 127-130.
[10]	王婷, 许可, 王娜, 宋俊德. 云计算环境下可扩展的服务器优化选择策略[J]. 北京邮电大学学报, 2014, 37(s1): 83-86.
[11]	乔媛媛, 刘芳, 凌艳, 尹劲松. 云计算环境下MapReduce的资源建模与性能预测[J]. 北京邮电大学学报, 2014, 37(s1): 115-119.
[12]	吴旭, 许晋, 李春文, 刘川意. IaaS云虚拟机eID可信验证系统[J]. 北京邮电大学学报, 2014, 37(5): 85-90.
[13]	柳兴, 袁超伟, 杨震, 胡仲伟. 移动云计算中基于移动代理的用户切换与接入控制[J]. 北京邮电大学学报, 2014, 37(2): 88-92.
[14]	宋杰, 李甜甜, 闫振兴, 朱志良. 数据密集型计算中负载均衡的数据布局方法[J]. 北京邮电大学学报, 2013, 36(4): 76-80.
[15]	刘川意, 方滨兴, 林杰. 基础设施云模块化解构[J]. 北京邮电大学学报, 2013, 36(2): 38-43.

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

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

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

本文评价