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

摘要：

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

关键词：异常处理、程序分析、异常传播、控制流图、数据流分析

所属期刊栏目：18

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

资助基金：国家自然科学基金60425206;国家自然科学基金2002CB312000;国家重点基础研究发展计划973计划;教育部跨世纪优秀人才培养计划BG2005032;江苏省高技术研究发展计划项目OD4527;中国矿业大学校科研和教改项目

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

页数：共11页

页码：74-84