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

计算机工程 ›› 2007, Vol. 33 ›› Issue (04): 67-69. doi: 10.3969/j.issn.1000-3428.2007.04.023

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

一种路径覆盖自动生成的改进方法

侯 芸,顾 刚,高海昌,郭 斌   

  1. (西安交通大学电子与信息工程学院,西安 710049)
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2007-02-20 发布日期:2007-02-20

An Improved Method of Automatic Generation for Path Coverage

HOU Yun, GU Gang, GAO Haichang, GUO Bin   

  1. (1. School of Electronics and Information Engineering, Xi’an Jiaotong University, Xi’an 710049)
  • Received:1900-01-01 Revised:1900-01-01 Online:2007-02-20 Published:2007-02-20

摘要: 路径覆盖是考察软件测试充分性的一种重要准则,它使程序的每个分支至少执行一次。该文通过对DDGRAPH图的定义及相关概念的分析,对构建DDGRAPH图及支配树、蕴含树、非限制弧的方法进行了改进。通过具体的应用实例对比了改进前后的方法,改进后的方法可以减少生成的路径数,用更少的测试用例发现更多的错误。

关键词: 路径覆盖, 支配树, 蕴含树, 非限制弧

Abstract: Path coverage is a kind of important standard that investigates the sufficiency of software testing, it requires that every branch in a program should be performed at least once. This paper analyses the definition of the DDGRAPH diagram and related concept, improves the method of designing the DDGRAPH diagram and the dominated tree, implied tree, unconstrained arc. Compared with the former method using an actual application case, the improved method can effectively reduce the number of generated paths, so it can use less test cases to find more errors.

Key words: Path coverage, Dominated tree, Implied tree, Unconstrained arc