免费论文
收费论文
发表论文
我要投稿
设为首页 招标网
联系我们
经济学|管理学|法学|计算机|医学|教育|文学|政治|艺术|哲学|更多 经济学|管理学|法律|计算机|医学|教育|文学|政治|艺术|哲学|更多
 论文搜索
  推荐服务: 论文发表 收费论文
期刊论文格式
毕业论文格式
期刊论文范文
毕业论文范文
论文致谢
毕业论文答辩
开题报告
论文选题
英文摘要书写
异常传播分析技术及其应用研究
中文名称: 异常传播分析技术及其应用研究
全文提供: 购买充值卡,就可下载本篇论文全文  
论文编号: 3116912收藏本论文】【我的收藏】【我要投稿
英文名称: Exception Propagation Analysis and Its Applications
学位类型: 博士毕业论文
作者: 涉及隐私,隐去***  作者本人请参看权力声明>>
导师: 涉及隐私,隐去***
毕业学校: 涉及隐私,隐去***
专业: 计算机应用技术
毕业年份: 涉及隐私,隐去***
关键字: 异常处理 异常传播 程序分析 数据流分析 依赖性分析 程序测试 传播机制
简介目录: 点击此处 免费索取本论文简介和目录>>
全文提供: 购买充值卡,就可下载本篇论文全文  

       论文发表:快速、低价、包过!发表论文就找论文天下

论文简介:随着软件规模的扩大,程序复杂度的增强,对程序的可靠性和健壮性的要求越来越高。异常处理机制是程序设计语言提供的一种用来检测异常并对其进行处理的技术。使用异常处理机制时,一个必须考虑的问题是异常的传播。引发异常的位置不一定是处理异常的位置,异常可能传播出它被引发的函数。异常的传播会引发程序的提前终止,改变程序原来的执行路线,从而改变程序中各种数据之间的控制关系和依赖关系;异常的传播增加了函数之间的耦合,给程序的测试、理解和维护带来了困难。异常传播如果处理不当,会直接影响软件的可靠性和健壮性。因此,对异常传播分析技术及其应用的有关问题进行研究不仅具有重要的理论意义,也具有广阔的应用前景。 本文在对C++的异常传播机制进行分析的基础上,首先建立了C++程序的异常传播分析模型,分析了异常传播路径。然后对包括异常传播的C++程序中控制流、数据流、控制依赖和数据依赖的分析方法进行了研究,并积极探索其在软件工程任务中的应用。最后对异常传播分析工具的有关实现问题进行了探讨。 本论文取得的成果主要包含如下几个方面: ·为了分析C++程序中异常的传播,我们在充分研究C++异常处理机制的基础上,提出一种适于分析C++程序的异常传播的分析模型,该模型可以计算一定范围内(如一个类,一个函数等)可能引发异常的类型、可能传播出异常的类型等。针对递归函数本身的特殊性,提出一种适于递归函数的异常传播分析方法,该方法比现有的递归函数的异常传播分析方法更为简单。开发了基于该模型的异常分析辅助工具,使用该工具可以帮助程序的开发人员发现程序中潜在的问题,从而为异常处理结构的改进提供依据。 ·为了解决目前在分析异常传播路径中表示方法过于复杂的问题,我们提出了一种新的异常传播的表示方法——异常传播图,它由组成程序的各个函数的简化的异常控制流图组成。在该异常传播图上,异常的传播路径一目了然,并实现了异常传播路径的可视化显示。与目前已有方法相比,这种异常传播图更简洁、直观、有效。 ·为了分析异常传播对程序控制流、数据流、控制依赖和数据依赖的影响,我们提出了一种适于分析包括异常传播的C++程序的控制流、数据流、控制依赖和数据依赖的分析方法。通过这种分析方法获得的信息,应用到软件的结构测试,可以提高测试的效率和异常处理代码的测试覆盖率;应用到程序切片中,可以提高程序切片的精确度。
本类相关论文:
·模式驱动的个性化网络教学支持模型及实现机制研究
·测试数据自动生成技术研究
·异构组件互操作技术研究
·面向网络处理器的软件平台关键技术研究
·面向任务的感知网自适应管理技术研究
·基于语义Web的协同制造链快速构建研究
·基于语义Web Services的企业异构系统
·基于HPC的多分辨空间信息应用基础平台关键技术
·静态二进制翻译中基于软件规范的函数识别及恢复技
·基于智能主体的分布式构件库相关技术研究
异常处理论文 异常传播论文
·海底接驳盒运行监控与管理系统研究
·智能流程异常处理的若干关键技术研究
·基于SyncML协议的异构数据库同步关键技术研
·支持异常处理的迁移工作流服务方法研究
·个性化业务流程的执行模式研究
·关于频率信号异常传播速度的研究
·电磁波在波导中的异常传播研究
·光子隧穿与电磁波在自由空间中异常传播的理论研究
·电磁波在波导中的异常传播
·与隧道效应相关的电磁波反常传播的模拟研究
程序分析论文 数据流分析论文
·面向寄存器软错误的容错编译技术研究
·东软飞利浦CT新双排生产线优化设计研究
·基于程序分析的SQL注入防御系统的设计与实现
·增量式数据竞争检测
·C程序内存错误静态分析技术研究
·全局数组数据流分析技术的研究与实现
·结合语义的统计机器学习方法在代码安全中应用研究
·反编译器C-Decompiler关键技术的研究
·基于数据流分析的防文件网络泄露关键技术研究
·数据流分析关键技术研究
依赖性分析论文 程序测试论文
·基于并行设计模式的软件演化方法研究
·串行程序并行化技术研究与一种新实现构想
·网络资源管理系统设计与实现
·Java程序分层及概率依赖性分析
·构件系统回归测试模型与技术研究
·字符识别技术研究及其在机器视觉测控中的应用
·新型可支持.Net IL指令的处理器设计
·基于VxWorks驱动程序设计方法的研究与实现
·消息传递并行程序的测试及其通信环境
  推荐期刊投稿
·心血管病学进展
·青海统计
·航空精密制造技术
·广西植保
·文艺理论研究
·应用生态学报
·汽车观察
·福建法学
·气象水文海洋仪器
·新语文学习(初中版)
 
·北京社会科学
·上海农村经济
·中国农业银行武汉培训学院学报
·China Today
·中国果菜
·小学生导刊(低年级)
·光学仪器
·行政法学研究
·中国音乐学
·经济评论
 
·Journal of Natural G
·吕梁高等专科学校学报
·Neural Regeneration
·热带农业科学
·海燕
·山东农业科学
·冶金设备
·南京财经大学学报
·南方农村
·中国图象图形学报
   免费论文
公共管理 | 法学 | 理学 | 医药学
政治 | 社会学 | 文学 | 艺术 | 哲学
工学 | 计算机 | 文化 | 英语论文
经济学 | 财政 税收 | 证券金融
管理学 | 会计审计 | 工商管理 | 教育
财务管理 | 论文写作指导 | 应用文
   收费论文
马列毛邓 | 哲学宗教 | 社会科学
政治法律 | 军 事 | 经 济
文化科学教育体育 | 语言文字
文学 | 艺术 | 历史地理 | 自然科学
数理化 | 天文 | 生物科学 | 医药卫生
农业科学 | 工业技术 | 交通运输
航空航天 | 环境安全
   浏览历史

联系论文网 | 收费论文 | 发表论文 | 论文翻译 | 友情链接 | 全部分类 | 网站地图 | 期刊导航
版权所有 2008-2018 论文天下 www.lunwentianxia.com 京ICP备08104503号