| 基于LCC的测试程序控制流路径子集生成算法 |
| |
| 引用本文： | 陈宇,李志蜀,金虎,何江.基于LCC的测试程序控制流路径子集生成算法[J].计算机工程,2009,35(7):39-41. |
| |
| 作者姓名： | 陈宇 李志蜀 金虎 何江 |
| |
| 作者单位： | 1. 四川大学计算机学院,成都,610064
2. 四川大学计算机学院,成都,610064;成都信息工程学院计算机系,成都,610041 |
| |
| 基金项目： | 四川省科技攻关基金，科技部科技型中小型企业技术创新基金 |
| |
| 摘 要： | 针对路径覆盖测试技术中如何计算被测试程序的有效控制流路径子集的关键性问题，提出一种利用LCC编译器的前端结果来生成基于一次循环策略的测试程序控制流路径子集的算法。该算法通过引入邻接矩阵并借助自定义的堆栈数据结构来完成控制流路径子集的生成。通过实验程序对算法进行检验，结果表明，该方法能高效准确地计算出待测源程序片的控制流路径子集。
|
| 关 键 词： | LCC编译器 控制流路径 邻接矩阵 |
| 修稿时间： | |
Control Flow Paths Subset of Tested Program Generation Algorithm Based on LCC |
| |
| CHEN Yu,LI Zhi-shu,JIN Hu,HE Jiang.Control Flow Paths Subset of Tested Program Generation Algorithm Based on LCC[J].Computer Engineering,2009,35(7):39-41. |
| |
| Authors: | CHEN Yu LI Zhi-shu JIN Hu HE Jiang |
| |
| Affiliation: | 1.School of Computer;Sichuan University;Chengdu 610064;2.Department of Computer Science;Chengdu University of Info.Tech.;Chengdu 610041 |
| |
| 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 wit... |
| |
| Keywords: | LCC compiler control flow path adjoining matrix |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
