路径测试中基本路径集自动生成方法的研究  被引量:4

A Research on Automatic Generation of Basis Path Set in Path Test

在线阅读下载全文

作  者:韩寒[1] 姜淑娟[1] 

机构地区:[1]中国矿业大学计算机科学与技术学院

出  处:《微电子学与计算机》2013年第1期104-109,共6页Microelectronics & Computer

基  金:国家自然科学基金(60970032);江苏省自然科学基金(BK2008124);江苏省研究生培养创新工程(CXLX12_0950)

摘  要:本文提出了一种有效、自动的基本路径集的生成方法,它能在一定程度上提高软件测试的效率.该方法首先设计搜索算法生成基本路径集;再根据基本块之间的依赖性分析来识别不可达路径并将其删除;然后向路径集中添加未覆盖边所在的可达独立路径;最后向路径集中添加未找到可达路径的未覆盖边所在的不可达独立路径,及线性运算所需的不可达独立路径.实验结果表明,该基本路径集生成方法能有效地生成包含尽可能多的可达路径的基本路径集.This paper provides an effective and automatic method of generating basis path set,which is significant in improving the efficiency of software testing.Firstly,a basis path set of the program is generated by visiting all nodes of the program's control flow graph;secondly,infeasible paths are detected according to the dependent analysis among blocks and are deleted from the basis path set at the same time;then,some feasible independent paths which contain the edges which are not covered by the path set are added into the path set;finally,some infeasible independent paths which contain the edges which are not covered by the path set or are needed by linear operations.The author applies the proposed method in some typical programs,and the result shows that the proposed method can generate a basis path set which contains as many feasible paths as possible efficiently.

关 键 词:基本路径集 不可达路径 可达路径 依赖性分析 

分 类 号:TP311[自动化与计算机技术—计算机软件与理论]

 

参考文献:

正在载入数据...

 

二级参考文献:

正在载入数据...

 

耦合文献:

正在载入数据...

 

引证文献:

正在载入数据...

 

二级引证文献:

正在载入数据...

 

同被引文献:

正在载入数据...

 

相关期刊文献:

正在载入数据...

相关的主题
相关的作者对象
相关的机构对象