| 一种基于异常传播分析的数据流分析方法 |
| |
| 引用本文： | 姜淑娟,徐宝文,史亮.一种基于异常传播分析的数据流分析方法[J].软件学报,2007,18(1):74-84. |
| |
| 作者姓名： | 姜淑娟 徐宝文 史亮 |
| |
| 作者单位： | 1. 东南大学,计算机科学与工程学院,江苏,南京,210096;中国矿业大学,计算机科学与技术学院,江苏,徐州,221008
2. 东南大学,计算机科学与工程学院,江苏,南京,210096 |
| |
| 基金项目： | 国家自然科学基金;国家自然科学基金;国家重点基础研究发展计划(973计划);教育部跨世纪优秀人才培养计划;江苏省高技术研究发展计划项目;中国矿业大学校科研和教改项目 |
| |
| 摘 要： | 异常处理是一种用来检测异常并对其进行处理的技术.异常传播改变了程序原来的执行路线,从而改变了程序中的数据流.在进行数据流分析时,如果不考虑异常传播对其造成的影响,则得到的信息将是不准确的.在分析C++异常传播机制和异常传播对数据流分析影响的基础上,提出一种包含异常传播信息的函数间控制流图的构建方法.该控制流图可以清晰地表示出异常的隐式控制流和异常的传播路径;然后提出了基于异常传播分析的数据流分析方法,并给出相应的算法.该方法既克服了因忽略异常传播对数据流影响而造成分析结果不准确的不足,又有助于实现异常传播数据流分析的自动处理;最后用一个实例验证了该方法的可用性.该方法可以为结构测试、回归测试、程序切片等软件工程任务提供相关信息.
|
| 关 键 词： | 异常处理 程序分析 异常传播 控制流图 数据流分析 |
| 收稿时间： | 2005-09-29 |
| 修稿时间： | 4/3/2006 12:00:00 AM |
An Approach of Data-Flow Analysis Based on Exception Propagation Analysis |
| |
| JIANG Shu-Juan,XU Bao-Wen and SHI Liang.An Approach of Data-Flow Analysis Based on Exception Propagation Analysis[J].Journal of Software,2007,18(1):74-84. |
| |
| Authors: | JIANG Shu-Juan XU Bao-Wen and SHI Liang |
| |
| Affiliation: | 1.School of Computer Science and Engineering, Southeast University, Nanjing 210096, China; 2.School of Computer Science and Technology, China University of Mining and Technology, Xuzhou 221008, China |
| |
| Abstract: | |
| |
| Keywords: | exception handling program analysis exception propagation control flow graph data flow analysis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
