主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第10期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
张玉荣,李华,邢熠,王显荣,阮宏玮,张素梅.CPN建模与on-the-fly方法相结合的测试用例生成.软件学报,2017,28(10):2564-2582
CPN建模与on-the-fly方法相结合的测试用例生成
Test Case Generation Based on the Combination of CPN Modeling and On-the-Fly Method
投稿时间:2015-10-25  修订日期:2016-09-07
DOI:10.13328/j.cnki.jos.005145
中文关键词:  on-the-fly测试  CPN层次模型  扩展可达图  同步乘积  测试例
英文关键词:on-the-fly testing  CPN hierarchy modeling  extended reachability graph  synchronous product  test case
基金项目:国家自然科学基金(61163011,61262082);内蒙古自治区自然科学基金(2015MS0612);内蒙古自治区高校科学技术研究项目(NJZY010);赛尔创新项目(NGII20150112)
作者单位E-mail
张玉荣 内蒙古大学 计算机学院, 内蒙古 呼和浩特 010021  
李华 内蒙古大学 计算机学院, 内蒙古 呼和浩特 010021
内蒙古大学 网络信息中心, 内蒙古 呼和浩特 010021 
cslihua@imu.edu.cn 
邢熠 内蒙古大学 计算机学院, 内蒙古 呼和浩特 010021  
王显荣 内蒙古大学 计算机学院, 内蒙古 呼和浩特 010021  
阮宏玮 内蒙古大学 计算机学院, 内蒙古 呼和浩特 010021
内蒙古大学 网络信息中心, 内蒙古 呼和浩特 010021 
 
张素梅 内蒙古大学 计算机学院, 内蒙古 呼和浩特 010021  
摘要点击次数: 915
全文下载次数: 679
中文摘要:
      在对复杂的软件系统进行测试时,生成的系统状态空间可能会非常庞大.为了避免对整个状态空间进行遍历,提出将on-the-fly方法与CPN形式化建模方法结合起来,用于生成测试例.在这种方法中,无需对整个状态空间进行遍历,只是仅对测试人员感兴趣的部分状态空间进行针对性的测试.首先,给出CPN和扩展可达图的定义,介绍了on-the-fly测试方法中涉及的相关概念,包括系统规约、测试目的、同步乘积和测试例等.然后,实现了同步乘积算法,并设计相关测试例对其进行了测试.最后,选定一个被测系统示例CPN建模与on-the-fly结合的方法,并通过适配器实现与被测系统的交互,生成和执行测试例,由此验证了方法的可行性和有效性.
英文摘要:
      The generated system state space can be very large when a complex software system is tested.In order to avoid the unnecessary traversing of the entire state space, a new method is presented based on the combination of CPN modeling and on-the-fly method to generate test cases.During such a process, only part of the state space is traversed according to the tester's personnel interest.Firstly, both the definitions of CPN and the extended reachability graph are introduced, and the related concepts relating to the on-the-fly testing method, including system specification, test purpose, synchronous product and test cases, are introduced.Secondly, a synchronous product algorithm is implemented, and the test cases are designed to test the algorithm as well.Finally, an implementation under test is selected to sample the combination method of CPN modeling and on-the-fly method.The interactions between the tester and the implementation under test are realized through an adapter, and the test cases are generated and executed simultaneously.Thus the feasibility and the effectiveness of the proposed method are verified.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利