| 一种基于异常传播分析的依赖性分析方法 |
| |
| 引用本文： | 姜淑娟,徐宝文,史亮,周晓宇.一种基于异常传播分析的依赖性分析方法[J].软件学报,2007,18(4):832-841. |
| |
| 作者姓名： | 姜淑娟 徐宝文 史亮 周晓宇 |
| |
| 作者单位： | 1. 东南大学,计算机科学与工程学院,江苏,南京,210096;江苏省软件质量研究所,江苏,南京,210096;中国矿业大学,计算机科学与技术学院,江苏,徐州,221008
2. 东南大学,计算机科学与工程学院,江苏,南京,210096;江苏省软件质量研究所,江苏,南京,210096 |
| |
| 基金项目： | 国家自然科学基金;国家自然科学基金;国家重点基础研究发展计划(973计划);教育部跨世纪优秀人才培养计划;江苏省高技术研究发展计划项目;江苏省自然科学基金;中国矿业大学校科研和教改项目 |
| |
| 摘 要： | 在分析异常处理结构对程序依赖性分析影响的基础上,对传统的控制流图进行改进,提出了一种新的能够描述包括异常处理结构在内的函数内和函数间的C++程序的依赖性分析模型,并给出了相应的构造算法.该方法既克服了因忽略异常处理结构对程序依赖性的影响而造成分析结果不准确的不足,又有助于实现基于异常传播的程序依赖性分析的自动处理.最后,对这种依赖性分析方法在程序切片中的应用作了进一步的探讨.
|
| 关 键 词： | 异常处理 程序分析 异常传播 依赖性分析 程序切片 健壮性 |
| 收稿时间： | 2005-12-21 |
| 修稿时间： | 2006-08-16 |
An Approach to Analyzing Dependence Based on Exception Propagation Analysis |
| |
| JIANG Shu-Juan,XU Bao-Wen,SHI Liang and ZHOU Xiao-Yu.An Approach to Analyzing Dependence Based on Exception Propagation Analysis[J].Journal of Software,2007,18(4):832-841. |
| |
| Authors: | JIANG Shu-Juan XU Bao-Wen SHI Liang and ZHOU Xiao-Yu |
| |
| Affiliation: | School of Computer Science and Engineering, Southeast University, Nanjing 210096, China; 2.Jiangsu Institute of Software Quality, Nanjing 210096, China; 3.School of Computer Science and Technology, China University of Mining and Technology, Xuzhou 221008, China |
| |
| Abstract: | |
| |
| Keywords: | exception handling program analysis exception propagation dependence analysis program slicing robustness |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
