收藏本站
《东南大学》 2006年
收藏 | 手机打开
二维码
手机客户端打开本文

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

姜淑娟  
【摘要】: 随着软件规模的扩大,程序复杂度的增强,对程序的可靠性和健壮性的要求越来越高。异常处理机制是程序设计语言提供的一种用来检测异常并对其进行处理的技术。使用异常处理机制时,一个必须考虑的问题是异常的传播。引发异常的位置不一定是处理异常的位置,异常可能传播出它被引发的函数。异常的传播会引发程序的提前终止,改变程序原来的执行路线,从而改变程序中各种数据之间的控制关系和依赖关系;异常的传播增加了函数之间的耦合,给程序的测试、理解和维护带来了困难。异常传播如果处理不当,会直接影响软件的可靠性和健壮性。因此,对异常传播分析技术及其应用的有关问题进行研究不仅具有重要的理论意义,也具有广阔的应用前景。 本文在对C++的异常传播机制进行分析的基础上,首先建立了C++程序的异常传播分析模型,分析了异常传播路径。然后对包括异常传播的C++程序中控制流、数据流、控制依赖和数据依赖的分析方法进行了研究,并积极探索其在软件工程任务中的应用。最后对异常传播分析工具的有关实现问题进行了探讨。 本论文取得的成果主要包含如下几个方面: ·为了分析C++程序中异常的传播,我们在充分研究C++异常处理机制的基础上,提出一种适于分析C++程序的异常传播的分析模型,该模型可以计算一定范围内(如一个类,一个函数等)可能引发异常的类型、可能传播出异常的类型等。针对递归函数本身的特殊性,提出一种适于递归函数的异常传播分析方法,该方法比现有的递归函数的异常传播分析方法更为简单。开发了基于该模型的异常分析辅助工具,使用该工具可以帮助程序的开发人员发现程序中潜在的问题,从而为异常处理结构的改进提供依据。 ·为了解决目前在分析异常传播路径中表示方法过于复杂的问题,我们提出了一种新的异常传播的表示方法——异常传播图,它由组成程序的各个函数的简化的异常控制流图组成。在该异常传播图上,异常的传播路径一目了然,并实现了异常传播路径的可视化显示。与目前已有方法相比,这种异常传播图更简洁、直观、有效。 ·为了分析异常传播对程序控制流、数据流、控制依赖和数据依赖的影响,我们提出了一种适于分析包括异常传播的C++程序的控制流、数据流、控制依赖和数据依赖的分析方法。通过这种分析方法获得的信息,应用到软件的结构测试,可以提高测试的效率和异常处理代码的测试覆盖率;应用到程序切片中,可以提高程序切片的精确度。
【学位授予单位】:东南大学
【学位级别】:博士
【学位授予年份】:2006
【分类号】:TP311.52

手机知网App
【引证文献】
中国博士学位论文全文数据库 前1条
1 张艳梅;基于依赖性分析的面向对象程序测试技术研究[D];中国矿业大学;2012年
【参考文献】
中国期刊全文数据库 前6条
1 丁宇新,程虎;Java虚拟机异常处理机制的设计与实现[J];计算机研究与发展;2000年05期
2 王建莹,孙峻朝,杨孝宗;一种用于容错计算机系统整体验证的故障注入试验策略[J];计算机研究与发展;2001年01期
3 孙瑞志,史美林;工作流异常处理的形式描述[J];计算机研究与发展;2003年03期
4 姜淑娟;徐宝文;;异常处理——一种提高软件健壮性的方法[J];计算机科学;2003年09期
5 徐宝文;一种逆向程序流依赖性分析方法及其应用[J];计算机学报;1993年05期
6 窦万春 ,席晓鹏 ,许列飞 ,蔡士杰;面向意外处理的工作流系统建模与执行[J];计算机学报;2003年09期
【共引文献】
中国期刊全文数据库 前10条
1 李志锋;冯世娟;李秋俊;;shark工作流及在电信资源调拨中的应用[J];四川兵工学报;2009年03期
2 陈淑芬;闵联营;;工作流系统中异常处理的研究[J];电脑知识与技术;2010年03期
3 胡忠;Java虚拟机异常处理机制的研究与实践[J];达县师范高等专科学校学报(自然科学版);2004年05期
4 徐光侠;陈蜀宇;常光辉;刘宴兵;刘国良;;分布式实时系统的软件故障注入[J];重庆大学学报;2010年02期
5 刘智伟;刘晓燕;;基于Web服务的动态工作流引擎的研究[J];福建电脑;2007年01期
6 姜韬;钟海川;史丹阳;;自动控制故障注入设备的设计与实现分析[J];电子制作;2013年11期
7 蒋支运;陈欣;;软件实现的无人机故障注入系统[J];哈尔滨工业大学学报;2006年11期
8 何立晖;李玉霞;任玉霞;;基于Agent的异常处理在进销存管理系统中的应用[J];哈尔滨师范大学自然科学学报;2007年03期
9 李沛武,卢正鼎,付湘林;Reduction techniques of workflow verification and its implementation[J];Journal of Harbin Institute of Technology;2004年01期
10 吴兴惠;邢海花;;基于UML工作流建模的意外处理[J];海南师范学院学报(自然科学版);2006年04期
中国重要会议论文全文数据库 前3条
1 孔霞;董剑;曲峰;杨孝宗;;面向容错服务器的软件故障注入工具的研制[A];第十届全国容错计算学术会议论文集[C];2003年
2 李书生;闻立杰;王建民;吕少熊;;基于代理的工作流邦联及子流调用框架[A];第26届中国数据库学术会议论文集(B辑)[C];2009年
3 王娟;;基于着色Petri网的工作流异常处理模型[A];山东计算机学会2013学术年会论文集[C];2013年
中国博士学位论文全文数据库 前10条
1 付晓东;Web服务组合服务质量保障关键问题研究[D];昆明理工大学;2008年
2 徐光侠;分布式实时系统的软件故障注入及可靠性评测方法研究[D];重庆大学;2011年
3 李伟刚;复杂产品协同开发支撑环境的关键技术研究[D];西北工业大学;2003年
4 陈亚奇;企业工作流信息主动共享技术研究[D];西北工业大学;2003年
5 解放;并行工程中产品开发过程的工作流管理研究[D];南京航空航天大学;2002年
6 谭湘;移动Agent系统安全性若干问题研究[D];中国科学院研究生院(软件研究所);2005年
7 朱锦泉;可适应工作流模型及其实现机制研究[D];吉林大学;2005年
8 杜栓柱;分布式协同工作环境中时间工作流建模技术研究[D];浙江大学;2004年
9 娄晶;基于知识管理的电子政务信息平台研究[D];天津大学;2005年
10 唐锋;动态二进制翻译优化研究[D];中国科学院研究生院(计算技术研究所);2006年
中国硕士学位论文全文数据库 前10条
1 刘炎培;基于扩展OOPN业务流程建模及异常处理模型研究[D];南昌航空大学;2010年
2 李晓慧;魔力平台中工作流异常处理的研究与实现[D];哈尔滨工程大学;2010年
3 刘兆亮;基于SOA的工作流架构的研究[D];沈阳理工大学;2010年
4 张晓雯;基于BPEL的工作流事务处理的研究与实现[D];解放军信息工程大学;2009年
5 赵昌伦;基于.Net平台的分布式工作流管理系统的研究与实现[D];西安电子科技大学;2009年
6 刘雅琪;基于工作流的网上协同OA系统的设计与研究[D];湖北工业大学;2011年
7 张茜茜;基于XPDL的事务工作流和工作流验证的研究和实现[D];北京邮电大学;2011年
8 王全峰;工作流引擎异常处理的研究与实现[D];北京邮电大学;2011年
9 魏瑾;基于工作流技术的保险业单证管理系统的设计和实现[D];华东师范大学;2011年
10 刘万华;基于J2EE架构的审批系统的研究与开发[D];南京信息工程大学;2011年
【同被引文献】
中国期刊全文数据库 前10条
1 潘丽丽;邹北骥;王天锷;陈浩;;基于关键分支的不可行路径确定方法[J];北京工业大学学报;2010年05期
2 王雅文;宫云战;肖庆;杨朝红;;扩展区间运算的变量值范围分析技术[J];北京邮电大学学报;2009年03期
3 邱晓康,李宣东;一个面向路径的软件测试辅助工具[J];电子学报;2004年S1期
4 巩敦卫;张岩;;一种新的多路径覆盖测试数据进化生成方法[J];电子学报;2010年06期
5 张志华;牟永敏;;基于函数调用的路径覆盖生成技术研究[J];电子学报;2010年08期
6 李留英,王戟,齐治昌;UML statecharts的测试用例生成方法[J];计算机研究与发展;2001年06期
7 赵瑞莲,闵应骅;一种基于规范和程序域分析的软件测试方法[J];计算机研究与发展;2003年06期
8 汪小飞;赵克佳;田祖伟;;数据流分析的关键技术研究[J];计算机科学;2005年12期
9 万琳,肖庆,宫云战;结构测试中的可达路径选择方法[J];计算机工程;2003年02期
10 侯芸;顾刚;高海昌;郭斌;;一种路径覆盖自动生成的改进方法[J];计算机工程;2007年04期
中国博士学位论文全文数据库 前4条
1 姚香娟;复杂软件测试数据进化生成理论及应用[D];中国矿业大学;2011年
2 李必信;程序切片技术及其在面向对象软件度量和软件测试中的应用[D];南京大学;2000年
3 毛澄映;面向对象程序分析与测试技术研究[D];华中科技大学;2006年
4 王雅文;基于缺陷模式的软件测试技术研究[D];北京邮电大学;2009年
中国硕士学位论文全文数据库 前10条
1 李文瑞;基于Petri网的软件测试技术研究[D];江南大学;2011年
2 申小荣;面向对象类簇级测试及其应用[D];太原理工大学;2004年
3 何涛;基于UML的面向对象的类测试研究[D];武汉大学;2004年
4 王正山;基于ORG的OO软件测试技术研究[D];合肥工业大学;2005年
5 陈蕊;程序中不可达路径的识别及其在结构测试中的应用[D];中国科学院研究生院(计算技术研究所);2006年
6 王凌飞;基于V模型改进的测试行为的软件可靠性分析[D];西安电子科技大学;2007年
7 郑磊;面向对象集成测试的分层增量测试策略[D];上海交通大学;2007年
8 宋洁;软件测试技术及自动测试工具的实现[D];北京邮电大学;2007年
9 齐丽娜;基于测试顺序的类集成测试方法研究与应用[D];上海师范大学;2007年
10 李津;Java程序模型验证中的程序建模问题研究[D];湖南师范大学;2008年
【二级引证文献】
中国期刊全文数据库 前1条
1 李冰雨;吕帅;何丽莉;;改进的基于逆向流分析的C程序切片算法[J];吉林大学学报(信息科学版);2014年01期
中国硕士学位论文全文数据库 前1条
1 李伟;杭州欧鹏计算机类培训课程管理系统的分析与设计[D];云南大学;2014年
【二级参考文献】
中国期刊全文数据库 前7条
1 王建莹,孙峻朝,杨孝宗;容错计算机系统可靠性评估工具:HFI-2故障注入器[J];电子学报;1999年11期
2 李红臣,史美林,陈信祥;工作流系统中的业务过程描述及分析[J];计算机研究与发展;2001年07期
3 窦万春 ,苏丰 ,蔡士杰 ,张福炎;面向知识应用和交互的工作流系统建模与控制[J];计算机研究与发展;2003年02期
4 吴刚,吴泉源,王怀民;一种基于移动智能体的工作流管理模型[J];计算机辅助设计与图形学学报;2001年06期
5 窦万春,李东波,张世琪;基于对象和实例互操作行为模型的工作流研究[J];计算机学报;2001年02期
6 孙峻朝,王建莹,杨孝宗;管脚级故障模型的分析与生成技术的研究[J];计算机学报;1999年08期
7 林晖,赵泽超,张优云;工作流系统模型的建立及其可靠性的评价[J];机械工程学报;2001年02期
【相似文献】
中国期刊全文数据库 前7条
1 邱翔;张莉;;异常传播网络静态建模方法及特性分析[J];北京航空航天大学学报;2012年04期
2 姜淑娟;徐宝文;姜元鹏;;一个异常传播分析工具的设计与实现[J];计算机科学;2008年07期
3 闫大顺;姜淑娟;;一种分析异常传播路径的方法[J];计算机工程;2008年08期
4 严飞;石伟峰;何小锋;;大气异常传播对某型雷达的影响及其改善方法探讨[J];战术导弹技术;2009年06期
5 姜淑娟;徐宝文;史亮;;一种基于异常传播分析的数据流分析方法[J];软件学报;2007年01期
6 姜淑娟;徐宝文;史亮;周晓宇;;一种基于异常传播分析的依赖性分析方法[J];软件学报;2007年04期
7 赵雪峰;姜淑娟;张艳梅;;面向对象程序的异常传播分析方法[J];计算机工程;2011年11期
中国博士学位论文全文数据库 前1条
1 姜淑娟;异常传播分析技术及其应用研究[D];东南大学;2006年
中国知网广告投放
相关机构
>东南大学
相关作者
>姜淑娟
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026