-
题名一种路径覆盖自动生成的改进方法
被引量:6
- 1
-
-
作者
侯芸
顾刚
高海昌
郭斌
-
机构
西安交通大学电子与信息工程学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2007年第4期67-69,共3页
-
基金
国家"863"计划基金资助项目(2003AA1Z2610)
-
文摘
路径覆盖是考察软件测试充分性的一种重要准则,它使程序的每个分支至少执行一次。该文通过对DDGRAPH图的定义及相关概念的分析,对构建DDGRAPH图及支配树、蕴含树、非限制弧的方法进行了改进。通过具体的应用实例对比了改进前后的方法,改进后的方法可以减少生成的路径数,用更少的测试用例发现更多的错误。
-
关键词
路径覆盖
支配树
蕴含树
非限制弧
-
Keywords
Path coverage
Dominated tree
Implied tree
Unconstrained arc
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名路径覆盖自动生成技术研究
被引量:7
- 2
-
-
作者
伦立军
丁雪梅
李英梅
-
机构
哈尔滨师范大学计算机科学系
-
出处
《计算机工程与应用》
CSCD
北大核心
2003年第16期123-125,共3页
-
基金
黑龙江省教育厅科技项目(编号:10513011)
哈尔滨师范大学基金项目资助
-
文摘
路径覆盖是路径测试最重要的课题之一。文章给出了ddgraph图的支配树、蕴含树和非限制弧的构造方法,提出了一种基于最小路径测试子集的寻找单个测试路径算法,该算法可有效地生成从入口到出口且覆盖非限制弧的路径子集,并给出了具体的应用实例。
-
关键词
ddgraph
支配树
蕴含树
非限制弧
寻找单个测试路径算法
-
Keywords
Ddgraph,Dominator Tree,Implied Tree,Unconstrained Arc,Find_A_Path Algorithm
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名路径覆盖构造方法
- 3
-
-
作者
伦立军
赵辰光
丁雪梅
李英梅
-
机构
哈尔滨师范大学计算机科学系
哈尔滨师范大学科学技术处
-
出处
《计算机工程》
CAS
CSCD
北大核心
2003年第8期62-63,77,共3页
-
基金
黑龙江省教育厅科技项目(10513011)
哈尔滨师范大学杰出青年基金资助项目
-
文摘
确定覆盖路径的测试数据范围是评估路径测试的重要课题之一。提出利用非限制弧集确定覆盖ddgraph图所有路径的子集,然后利用βbranch简化非限制弧,并给出了具体的应用实例。
-
关键词
Ddgraph
路径覆盖
非限制弧
βtracks
-
Keywords
Ddgraph
Path coverage
Unconstrained arcs
βbranch
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-