主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
姜淑娟,徐宝文,史亮,周晓宇.一种基于异常传播分析的依赖性分析方法.软件学报,2007,18(4):832-841
一种基于异常传播分析的依赖性分析方法
An Approach to Analyzing Dependence Based on Exception Propagation Analysis
投稿时间:2005-12-21  修订日期:2006-08-16
DOI:
中文关键词:  异常处理  程序分析  异常传播  依赖性分析  程序切片  健壮性
英文关键词:exception handling  program analysis  exception propagation  dependence analysis  program slicing  robustness
基金项目:Supported by the National Natural Science Foundation of China under Grant No.60373066 (国家自然科学基金); the National Science Foundation for Distinguished Young Scholars of China under Grant No.60425206 (国家杰出青年科学基金); the National Grand Fundamental Research 973 Program of China under Grant No.2002CB312000 (国家重点基础研究发展规划(973)); the Program for Cross-Century Outstanding Teachers of the Ministry of Education of China (国家教育部跨世纪优秀人才基金); the High Technology Research Project of Jiangsu Province of China under Grant No.BG2005032 (江苏省高技术研究项目); the Natural Science Foundation of Jiangsu Province of China under Grant No.BK2006094 (江苏省自然科学基金); the Science Research Foundation of China University of Mining and Technology under Grant No.OD4527 (中国矿业大学科学研究基金)
作者单位
姜淑娟 东南大学,计算机科学与工程学院,江苏,南京,210096
江苏省软件质量研究所,江苏,南京,210096
中国矿业大学,计算机科学与技术学院,江苏,徐州,221008 
徐宝文 东南大学,计算机科学与工程学院,江苏,南京,210096
江苏省软件质量研究所,江苏,南京,210096 
史亮 东南大学,计算机科学与工程学院,江苏,南京,210096
江苏省软件质量研究所,江苏,南京,210096 
周晓宇 东南大学,计算机科学与工程学院,江苏,南京,210096
江苏省软件质量研究所,江苏,南京,210096 
摘要点击次数: 3135
全文下载次数: 3433
中文摘要:
      在分析异常处理结构对程序依赖性分析影响的基础上,对传统的控制流图进行改进,提出了一种新的能够描述包括异常处理结构在内的函数内和函数间的C++程序的依赖性分析模型,并给出了相应的构造算法.该方法既克服了因忽略异常处理结构对程序依赖性的影响而造成分析结果不准确的不足,又有助于实现基于异常传播的程序依赖性分析的自动处理.最后,对这种依赖性分析方法在程序切片中的应用作了进一步的探讨.
英文摘要:
      Based on analyzing the effects of exception handling constructs on dependence analysis, this paper proposes a precise and efficient representation for C++ programs with exception handling constructs—improved control flow graph. It proposes a new approach to analyzing the data dependences and control dependences of intra-function and inter-function in C++ programs with exception handling constructs, and an efficient algorithm is also presented. This method overcomes the limitations of the previous incorrect analysis because of failing to account for the effects of exception handling constructs, and also provides a basis for automatic dependence analysis that contains exception propagation. Finally, it discusses the application of the dependence analysis method in program slicing.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利