摘要： 针对路径覆盖测试技术中如何计算被测试程序的有效控制流路径子集的关键性问题，提出一种利用LCC编译器的前端结果来生成基于一次循环策略的测试程序控制流路径子集的算法。该算法通过引入邻接矩阵并借助自定义的堆栈数据结构来完成控制流路径子集的生成。通过实验程序对算法进行检验，结果表明，该方法能高效准确地计算出待测源程序片的控制流路径子集。

关键词: LCC编译器, 控制流路径, 邻接矩阵

Abstract: To solve the key problem of how to calculate the effective subset of the control flow paths of the tested program, this paper proposes an algorithm for working out the subset of the whole control flow paths of the program with the help of the LCC compiler in software coverage testing. The control flow paths in the subset are based on the strategy that the loop statements in the program execute less than twice. Adjoining matrix is introduced by the algorithm to work out the subset of the control flow paths with the help of customized stack structure. The correctness of the algorithm is verified on a sample program, which indicates that the subset of the whole control flow paths of the tested program can be calculated efficiently and accurately with this method.

Key words: LCC compiler, control flow path, adjoining matrix

中图分类号: 

• TP311