异常传播分析技术及其应用研究

来源 :东南大学 | 被引量 : 6次 | 上传用户:hobo_man
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着软件规模的扩大,程序复杂度的增强,对程序的可靠性和健壮性的要求越来越高。异常处理机制是程序设计语言提供的一种用来检测异常并对其进行处理的技术。使用异常处理机制时,一个必须考虑的问题是异常的传播。引发异常的位置不一定是处理异常的位置,异常可能传播出它被引发的函数。异常的传播会引发程序的提前终止,改变程序原来的执行路线,从而改变程序中各种数据之间的控制关系和依赖关系;异常的传播增加了函数之间的耦合,给程序的测试、理解和维护带来了困难。异常传播如果处理不当,会直接影响软件的可靠性和健壮性。因此,对异常传播分析技术及其应用的有关问题进行研究不仅具有重要的理论意义,也具有广阔的应用前景。本文在对C++的异常传播机制进行分析的基础上,首先建立了C++程序的异常传播分析模型,分析了异常传播路径。然后对包括异常传播的C++程序中控制流、数据流、控制依赖和数据依赖的分析方法进行了研究,并积极探索其在软件工程任务中的应用。最后对异常传播分析工具的有关实现问题进行了探讨。本论文取得的成果主要包含如下几个方面:·为了分析C++程序中异常的传播,我们在充分研究C++异常处理机制的基础上,提出一种适于分析C++程序的异常传播的分析模型,该模型可以计算一定范围内(如一个类,一个函数等)可能引发异常的类型、可能传播出异常的类型等。针对递归函数本身的特殊性,提出一种适于递归函数的异常传播分析方法,该方法比现有的递归函数的异常传播分析方法更为简单。开发了基于该模型的异常分析辅助工具,使用该工具可以帮助程序的开发人员发现程序中潜在的问题,从而为异常处理结构的改进提供依据。·为了解决目前在分析异常传播路径中表示方法过于复杂的问题,我们提出了一种新的异常传播的表示方法——异常传播图,它由组成程序的各个函数的简化的异常控制流图组成。在该异常传播图上,异常的传播路径一目了然,并实现了异常传播路径的可视化显示。与目前已有方法相比,这种异常传播图更简洁、直观、有效。·为了分析异常传播对程序控制流、数据流、控制依赖和数据依赖的影响,我们提出了一种适于分析包括异常传播的C++程序的控制流、数据流、控制依赖和数据依赖的分析方法。通过这种分析方法获得的信息,应用到软件的结构测试,可以提高测试的效率和异常处理代码的测试覆盖率;应用到程序切片中,可以提高程序切片的精确度。
其他文献
围绕如何利用高性能计算机的并行计算环境,本文研究“空间信息应用基础平台”的海量数据快速处理问题,并针对特定问题,着重研究如何提高算法并行效率问题。解决了包括二维和
就新华苑小区综合楼发生火灾的情况,介绍了火灾的火势情况、监测依据、监测方法和加固方案。
我国记忆专家王维,把从要记忆的一系列"同类项"中分别提取字(词)头,然后编成生动有趣甚至有韵味的短句,再进行记忆,此方法被称为"字头记忆法".如将这种方法用于巧记书名和作
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
北欧包装设计强调传统与创新、简约与实用;既关注人的情感又注重产品功能;既着眼现在又重视可持续发展。本文基于北欧包装的设计理念,尝试从不同角度研究、思考其设计的精髓,
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
E2PROM在实际中的应用非常广泛.本文介绍了E2PROM的特点和工作条件,并重点分析了以E2pROM2817为核心的霓虹灯自动控制系统的设计方案和实现方法.
有人断言,只要系统挖掘中国乾陵(唐高宗和武则天的陵墓)和秦皇陵,定有石破天惊的考古新发现。正当千万人期盼着"震撼世界的奇迹"出现时,前不久,国务院颁发了有关暂不主动挖掘
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
煤矿施工钻孔采用风排屑或干排屑都有可能发生钻孔着火事故,钻头或钻杆脱落后仍继续钻进、发生卡钻、顶钻后继续强行钻进、新旧钻杆或不同型号的钻杆混用、钻孔风压降低等都是