10.3969/j.issn.1000-3428.2012.09.012
一种改进的程序可达基路径生成方法
考虑程序中分支冲突和异常处理结构对控制流信息的影响,提出一种改进的程序可达基路径生成方法.分析不可达路径产生的原因及其判定方法,构建异常控制流图.在此基础上计算相关分支之间的关系,利用深度优先遍历方法得到程序的可达基路径集.实例分析结果表明,该方法能准确生成可达基路径集,满足基路径测试的要求.
分支冲突、异常处理、可达基路径、控制流图、基路径测试
38
TP311(计算技术、计算机技术)
国家自然科学基金资助项目60970032;江苏省自然科学基金资助项目BK2008124;江苏省研究生培养创新工程基金资助项目CX10B_157Z;江苏省“青蓝工程”基金
2012-07-13(万方平台首次上网日期,不代表论文的发表时间)
共3页
40-42