学位论文 > 优秀研究生学位论文题录展示

C++代码缺陷检测系统的研究与设计

作　者: 阎旭
导　师: 周宽久
学　校: 大连理工大学
专　业: 计算机技术
关键词: 缺陷规则 静态检测 缺陷模式 XML
分类号: TP311.53
类　型: 硕士论文
年　份: 2011年
下　载: 15次
引　用: 0次
阅　读: 论文下载
 

内容摘要


随着信息化产业的高速发展,人们对软件系统安全性和可靠性的要求越来越高,软件测试面临着重大挑战。基于静态分析的自动化检测对提高软件质量有着极其重要的意义,它可以在软件开发的各个阶段对程序代码进行检测,有效的提高测试的质量和速度,大幅降低软件测试的成本。本文设计了一个基于XML中间承载模型的缺陷检测模型,该模型通过对程序源代码进行词法语法解析,提取程序代码中有用的状态属性信息,利用XML良好的扩展性和简洁的数据存储特性,将解析出的代码属性信息导入XML中间承载模型中。将安全编程规范中的缺陷规则用缺陷模式来描述,利用Xquery查询语言将缺陷模式转换成对应的Xquery缺陷匹配表达式,通过Xquery缺陷匹配表达式对中间承载模型进行安全检测,查找中间承载模型中与缺陷模式匹配的问题节点,最终,凭借缺陷重定位机制将缺陷精确定位到程序代码中。在此基础上,针对《MISRA C++2008》安全规则集进行了深入分析,设计了一个基于规则的缺陷自动检测系统。该系统能对C/C++语言编写的程序进行全面而准确的安全检测。经大量实际测试表明该系统能有效提高软件系统的安全性和可靠性,具有较高的使用价值。

全文目录


摘要  4-5Abstract  5-81 绪论  8-11  1.1 研究背景与意义  8-9  1.2 研究内容  9-10  1.3 论文组织结构  10-112 软件测试技术  11-20  2.1 概述  11  2.2 软件测试的发展  11-12  2.3 软件测试理论与技术  12-15  2.4 静态测试技术  15-17  2.5 静态检测工具  17-19  2.6 本章小结  19-203 系统的理论方法研究  20-36  3.1 系统的设计流程  20-21  3.2 C++匹配承载模型  21-27    3.2.1 模型介绍  21    3.2.2 结构信息模型  21-23    3.2.3 状态信息模型  23-27  3.3 缺陷检测  27-31    3.3.1 软件缺陷定义  27-29    3.3.2 缺陷模式描述  29-30    3.3.3 形式化表示  30-31  3.4 缺陷状态库  31-34    3.4.1 XQUERY  32-33    3.4.2 缺陷状态库的设计  33-34  3.5 本章小结  34-364 代码审核系统的实现  36-48  4.1 系统总体结构设计  36-37  4.2 系统前端解析模块  37-39    4.2.1 预处理模块  37-38    4.2.2 源代码解析模块  38-39  4.3 系统后端检测模块  39-47    4.3.1 规则匹配模块  39-40    4.3.2 多文件解析  40-42    4.3.3 检测驱动模块  42-46    4.3.4 缺陷定位  46-47  4.4 本章小结  47-485 系统验证  48-55  5.1 系统执行验证  48-52    5.1.1 缺陷报告  48-52    5.1.2 系统运行分析  52  5.2 系统执行验证  52-54    5.2.1 测试用例  52    5.2.2 实验数据与结果分析  52-54  5.3 本章小结  54-55结论  55-57参考文献  57-60致谢  60-61

相似论文

  1. 基因调控网络模型描述语言研究,Q78
  2. 支持XML数据查询的F&B索引结构的研究,TP311.13
  3. LXI自动测试系统集成技术研究,TP274
  4. 基于网络的服装款式设计系统的研究与实现,TS941.2
  5. 基于MDA的界面自动生成方法的研究,TP311.5
  6. C++静态代码检测语法树构建方法研究,TP311.53
  7. 基于Web的科学计算遗留应用共享技术研究,TP393.09
  8. 基于XML的异构数据交换系统的设计与实现,TP311.52
  9. 电子公文传输管理系统在电大系统中的设计与实现,TP311.52
  10. 概率XML数据上关键字检索算法的研究与实现,TP391.3
  11. 行政审批电子监察系统数据交换的设计与实现,TP311.52
  12. 概率XML文档中Holistic Twig查询处理算法的研究与实现,TP311.13
  13. 保留语义约束的XML与关系数据库双向转换技术研究,TP311.13
  14. SOA架构在高校信息化系统中整合技术的应用,TP311.52
  15. 物联网业务模型描述语言的研究与实现,TN929.5
  16. 基于服务总线的模具企业信息集成系统,TP311.52
  17. 大型钢铁企业EDI数据交换平台研究,TP311.52
  18. 基于DITA的NGN核心网文档开发的设计和实现,TP311.52
  19. Web服务攻击分析与安全技术研究,TP393.08
  20. XML与EPA功能块相结合的设备描述方案研究,TP273

中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 计算机软件 > 程序设计、软件工程 > 软件工程 > 软件维护
© 2012 www.xueweilunwen.com