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

摘要：

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

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

所属期刊栏目：35

分类号：TP3;TN

资助基金：四川省科技攻关基金资助项目"软件自动测试技术研究与自动测试工具开发"05GG021-003-2;科技部科技型中小企业技术创新基金资助项目"软件自动测试工具WsSTKit"0626225101730

在线出版日期：2009-05-20（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：39-41