基于LCC的测试程序控制流路径子集生成算法
Control Flow Paths Subset of Tested Program Generation Algorithm Based on LCC作者机构:四川大学计算机学院成都610064 成都信息工程学院计算机系成都610041
出 版 物:《计算机工程》 (Computer Engineering)
年 卷 期:2009年第35卷第7期
页 面:39-41页
核心收录:
学科分类:08[工学] 0812[工学-计算机科学与技术(可授工学、理学学位)] 081202[工学-计算机软件与理论]
基 金:四川省科技攻关基金资助项目“软件自动测试技术研究与自动测试工具开发”(05GG021-003-2) 科技部科技型中小企业技术创新基金资助项目“软件自动测试工具WsSTKit”(0626225101730)
摘 要:针对路径覆盖测试技术中如何计算被测试程序的有效控制流路径子集的关键性问题,提出一种利用LCC编译器的前端结果来生成基于一次循环策略的测试程序控制流路径子集的算法。该算法通过引入邻接矩阵并借助自定义的堆栈数据结构来完成控制流路径子集的生成。通过实验程序对算法进行检验,结果表明,该方法能高效准确地计算出待测源程序片的控制流路径子集。