基于LCC的测试程序控制流路径子集生成算法

被引：1

作者：

陈宇 ^{[1
]}

李志蜀 ^{[1
]}

金虎 ^{[1
,2
]}

何江 ^{[1
]}

机构：

[1] 四川大学计算机学院

[2] 成都信息工程学院计算机系

来源：

计算机工程 | 2009年 / 35卷 / 07期

关键词：

LCC编译器; 控制流路径; 邻接矩阵;

D O I：

暂无

中图分类号：

TP311.52 [];

学科分类号：

081202 ; 0835 ;

摘要：

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

引用

页码：39 / 41

页数：3