吉林大学学报(工学版)

• • 上一篇    下一篇

基于R_N(K)准则的测试用例生成技术

李宝林1;李志蜀1;金虎2;孙继荣1;陈艳红1   

  1. 1.四川大学 计算机学院,成都 610065;2.成都信息工程学院 计算机系,成都 610041
  • 收稿日期:2007-08-03 修回日期:2007-09-03 出版日期:2008-05-01 发布日期:2008-05-01
  • 通讯作者: 李志蜀

Test case generation base on R_N(K) criterion annealing algorithm

Li Bao-lin1; Li Zhi-shu1;Jin Hu2; Sun Ji-rong1;Chen Yan-hong1   

  1. 1.School of Computer, Sichuan University, Chengdu 610065, China; 2.Deptartment of Computer Science, Chengdu University of Information Technology, Chengdu 610041, China
  • Received:2007-08-03 Revised:2007-09-03 Online:2008-05-01 Published:2008-05-01

摘要:

针对完整路径覆盖测试的可行性,提出了R_N(K)测试覆盖准则。首先,将测试问题归纳为多目标函数 的优化问题,为了提高生成效率,对遗传模拟退火算法中的编码、适应度函数和退火规则做了相应的改进,并利用其结果和程序插装理论来生成测试用例。试验表明,该方法与随机法和遗传算法相比有较好的效果。

关键词: 计算机软件, 结构测试, 遗传模拟退火算法, 测试用例, 控制流路径表

Abstract: Structural test is one of the basic approaches for test case identification. Because of the complexity of programming languages and the variety of applications, an efficient approach for automatic generation of structural test case is by iteration which is guided by program execution results. To examine the feasibility of full path coverage test, a R_N(K) path coverage criterion is presented. First, the test is treated as multiobjective optimization. To enhance the efficiency improvements are made on the encoding, the fittness function and the annealing gene of the genetic annealing algorithm. Then the optimization results and instumentation theory are used to generate test data. Experimental results show that this approach is better than the random method and the genetic method.

Key words: computer software, structural test, genetic simulated annealing algorithm, test case, control flow path table

中图分类号: 

  • TP311
[1] 马健, 樊建平, 刘峰, 李红辉. 面向对象软件系统演化模型[J]. 吉林大学学报(工学版), 2018, 48(2): 545-550.
[2] 罗养霞, 郭晔. 基于数据依赖特征的软件识别[J]. 吉林大学学报(工学版), 2017, 47(6): 1894-1902.
[3] 应欢, 王东辉, 武成岗, 王喆, 唐博文, 李建军. 适用于商用系统环境的低开销确定性重放技术[J]. 吉林大学学报(工学版), 2017, 47(1): 208-217.
[4] 李勇, 黄志球, 王勇, 房丙午. 基于多源数据的跨项目软件缺陷预测[J]. 吉林大学学报(工学版), 2016, 46(6): 2034-2041.
[5] 王念滨, 祝官文, 周连科, 王红卫. 支持高效路径查询的数据空间索引方法[J]. 吉林大学学报(工学版), 2016, 46(3): 911-916.
[6] 特日跟, 江晟, 李雄飞, 李军. 基于整数数据的文档压缩编码方案[J]. 吉林大学学报(工学版), 2016, 46(1): 228-234.
[7] 康辉, 王家琦, 梅芳. 基于Pi演算的并行编程语言[J]. 吉林大学学报(工学版), 2016, 46(1): 235-241.
[8] 陈鹏飞, 田地, 杨光. 基于MVC架构的LIBS软件设计与实现[J]. 吉林大学学报(工学版), 2016, 46(1): 242-245.
[9] 刘磊, 王燕燕, 申春, 李玉祥, 刘雷. Bellman-Ford算法性能可移植的GPU并行优化[J]. 吉林大学学报(工学版), 2015, 45(5): 1559-1564.
[10] 冯晓宁, 王卓, 张旭. 基于L-π演算的WSN路由协议形式化方法[J]. 吉林大学学报(工学版), 2015, 45(5): 1565-1571.
[11] 李明哲, 王劲林, 陈晓, 陈君. 基于网络处理器的流媒体应用架构模型(VPL)[J]. 吉林大学学报(工学版), 2015, 45(5): 1572-1580.
[12] 王克朝, 王甜甜, 苏小红, 马培军. 基于频繁闭合序列模式挖掘的学生程序雷同检测[J]. 吉林大学学报(工学版), 2015, 45(4): 1260-1265.
[13] 韩啸,刘淑芬,徐天琦. 基于遗传模拟退火算法的改进K-medoids算法[J]. 吉林大学学报(工学版), 2015, 45(2): 619-623.
[14] 黄宏涛,王静,叶海智,黄少滨. 基于惰性切片的线性时态逻辑性质验证[J]. 吉林大学学报(工学版), 2015, 45(1): 245-251.
[15] 范大娟1, 2, 黄志球1, 肖芳雄1, 祝义1, 王进1. 面向多服务交互的相容性分析与适配器生成[J]. 吉林大学学报(工学版), 2014, 44(4): 1094-1103.
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!