一种基于异常传播分析的数据流分析方法

• 作者: 史亮 姜淑娟 徐宝文
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 异常处理 程序分析 异常传播 控制流图 数据流分析
• 年，卷（期）: 2007,（1）
• 所属期刊栏目: 系统软件与软件工程
• 页码范围: 74-84
• 页数: 11页
• 分类号: TP311
• 字数: 8486字
• 语种: 中文

摘要

异常处理是一种用来检测异常并对其进行处理的技术.异常传播改变了程序原来的执行路线,从而改变了程序中的数据流.在进行数据流分析时,如果不考虑异常传播对其造成的影响,则得到的信息将是不准确的.在分析C++异常传播机制和异常传播对数据流分析影响的基础上,提出一种包含异常传播信息的函数间控制流图的构建方法.该控制流图可以清晰地表示出异常的隐式控制流和异常的传播路径;然后提出了基于异常传播分析的数据流分析方法,并给出相应的算法.该方法既克服了因忽略异常传播对数据流影响而造成分析结果不准确的不足,又有助于实现异常传播数据流分析的自动处理;最后用一个实例验证了该方法的可用性.该方法可以为结构测试、回归测试、程序切片等软件工程任务提供相关信息.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐宝文	东南大学计算机科学与工程学院	118	3034	31.0	51.0
2	姜淑娟	东南大学计算机科学与工程学院	85	517	12.0	18.0
4	史亮	东南大学计算机科学与工程学院	13	490	9.0	13.0