不可达基路径的静态检测方法

摘要：

不可达路径增加了程序的复杂度和冗余度,不可达路径的检测是结构测试中的一个关键问题.提出了一种包含异常处理结构的程序不可达路径的静态检测方法.该方法根据数据流信息判断产生冲突的分支,进而利用分支冲突检测路径的可达性；在数据流分析时考虑异常处理结构和变量别名对数据流信息的影响.实例分析结果表明,该方法可以进一步提高路径可达性检测的准确度.

关键词：不可达路径、异常处理、数据流信息、分支冲突、别名分析

所属期刊栏目：6

分类号：TP311(计算技术、计算机技术)

资助基金：The National Natural Science Foundation of China under Grant No.60970032;the Natural Science Foundation of Jiangsu Province of China under Grant No.BK2008124;the Qinglan Project of Jiangsu Province of China;the Graduate Training Innovative Projects Foundation of Jiangsu Province under Grant No.CX10B_157Z

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

页数：共12页

页码：144-155