作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2010, Vol. 36 ›› Issue (15): 86-88. doi: 10.3969/j.issn.1000-3428.2010.15.030

• 软件技术与数据库 • 上一篇    下一篇

基于GEP的路径覆盖测试用例生成方法

陈建明1,陈 宇2,李志蜀2,丁革建1   

  1. (1. 浙江师范大学数理与信息工程学院,金华 321004;2. 四川大学计算机学院,成都 610064)
  • 出版日期:2010-08-05 发布日期:2010-08-25
  • 作者简介:陈建明(1957-),男,副教授,主研方向:软件理论,信息安全;陈 宇,硕士;李志蜀,教授;丁革建,副高级工程师
  • 基金资助:
    浙江省科技计划基金资助项目“高可信软件测评关键技术研究和测评工具开发”(2009c31118)

Generation Method of Path Coverage Test Case Based on GEP

CHEN Jian-ming1, CHEN Yu2, LI Zhi-shu2, DING Ge-jian1   

  1. (1. School of Mathematics Physics and Information Engineering, Zhejiang Normal University, Jinhua 321004; 2. School of Computer, Sichuan University, Chengdu 610064)
  • Online:2010-08-05 Published:2010-08-25

摘要: 提出一种基于基因表达式编程(GEP)算法、编译器技术、虚拟机技术的路径覆盖测试用例生成方法。该方法使用编译器技术获得程序的静态控制流路径集合,针对集合中的每一条静态控制流路径,使用GEP算法生成覆盖特定路径的测试用例,采用虚拟机完成结果计算,其中有效的结果即所需的测试用例。实验结果证明,该方法能高效、准确地得到覆盖特定控制流路径的测试用例。

关键词: 基因表达式编程算法, 试用例, 径覆盖测试

Abstract: This paper proposes a generation method of path coverage test based on Gene Expression Programming(GEP) algorithm, compiler technology and Virtual Machine(VM). The static control flow paths of the program are generated by the compiler, the test cases covering every specific path are generated by GEP algorithm, and the results are calculated by VM, of which the effective one is the case needed. Experimental result proves that the test cases covering the specific expected control flow paths can be calculated efficiently and accurately with the method.

Key words: Gene Expression Programming(GEP) algorithm, est case, th coverage test

中图分类号: