节点文献

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

An Improved Method of Automatic Generation for Path Coverage

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具,请取消加速工具后下载。

【作者】 侯芸顾刚高海昌郭斌

【Author】 HOU Yun,GU Gang,GAO Haichang,GUO Bin(1.School of Electronics and Information Engineering,Xi’an Jiaotong University,Xi’an 710049)

【机构】 西安交通大学电子与信息工程学院西安交通大学电子与信息工程学院 西安710049西安710049

【摘要】 路径覆盖是考察软件测试充分性的一种重要准则,它使程序的每个分支至少执行一次。该文通过对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.

【基金】 国家“863”计划基金资助项目(2003AA1Z2610)
  • 【文献出处】 计算机工程 ,Computer Engineering , 编辑部邮箱 ,2007年04期
  • 【分类号】TP311.52
  • 【被引频次】15
  • 【下载频次】236
节点文献中: 

本文链接的文献网络图示:

本文的引文网络