韩寒, 姜淑娟. 路径测试中基本路径集自动生成方法的研究[J]. 微电子学与计算机, 2013, 30(1): 104-109.
引用本文: 韩寒, 姜淑娟. 路径测试中基本路径集自动生成方法的研究[J]. 微电子学与计算机, 2013, 30(1): 104-109.
HAN Han, JIANG Shu-juan. A Research on Automatic Generation of Basis Path Set in Path Test[J]. Microelectronics & Computer, 2013, 30(1): 104-109.
Citation: HAN Han, JIANG Shu-juan. A Research on Automatic Generation of Basis Path Set in Path Test[J]. Microelectronics & Computer, 2013, 30(1): 104-109.

路径测试中基本路径集自动生成方法的研究

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

  • 摘要: 本文提出了一种有效、自动的基本路径集的生成方法,它能在一定程度上提高软件测试的效率.该方法首先设计搜索算法生成基本路径集;再根据基本块之间的依赖性分析来识别不可达路径并将其删除;然后向路径集中添加未覆盖边所在的可达独立路径;最后向路径集中添加未找到可达路径的未覆盖边所在的不可达独立路径,及线性运算所需的不可达独立路径.实验结果表明,该基本路径集生成方法能有效地生成包含尽可能多的可达路径的基本路径集.

     

    Abstract: 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.

     

/

返回文章
返回