C++代码缺陷检测系统的研究与设计
| 摘要 | 第1-5页 |
| Abstract | 第5-8页 |
| 1 绪论 | 第8-11页 |
| ·研究背景与意义 | 第8-9页 |
| ·研究内容 | 第9-10页 |
| ·论文组织结构 | 第10-11页 |
| 2 软件测试技术 | 第11-20页 |
| ·概述 | 第11页 |
| ·软件测试的发展 | 第11-12页 |
| ·软件测试理论与技术 | 第12-15页 |
| ·静态测试技术 | 第15-17页 |
| ·静态检测工具 | 第17-19页 |
| ·本章小结 | 第19-20页 |
| 3 系统的理论方法研究 | 第20-36页 |
| ·系统的设计流程 | 第20-21页 |
| ·C++匹配承载模型 | 第21-27页 |
| ·模型介绍 | 第21页 |
| ·结构信息模型 | 第21-23页 |
| ·状态信息模型 | 第23-27页 |
| ·缺陷检测 | 第27-31页 |
| ·软件缺陷定义 | 第27-29页 |
| ·缺陷模式描述 | 第29-30页 |
| ·形式化表示 | 第30-31页 |
| ·缺陷状态库 | 第31-34页 |
| ·XQUERY | 第32-33页 |
| ·缺陷状态库的设计 | 第33-34页 |
| ·本章小结 | 第34-36页 |
| 4 代码审核系统的实现 | 第36-48页 |
| ·系统总体结构设计 | 第36-37页 |
| ·系统前端解析模块 | 第37-39页 |
| ·预处理模块 | 第37-38页 |
| ·源代码解析模块 | 第38-39页 |
| ·系统后端检测模块 | 第39-47页 |
| ·规则匹配模块 | 第39-40页 |
| ·多文件解析 | 第40-42页 |
| ·检测驱动模块 | 第42-46页 |
| ·缺陷定位 | 第46-47页 |
| ·本章小结 | 第47-48页 |
| 5 系统验证 | 第48-55页 |
| ·系统执行验证 | 第48-52页 |
| ·缺陷报告 | 第48-52页 |
| ·系统运行分析 | 第52页 |
| ·系统执行验证 | 第52-54页 |
| ·测试用例 | 第52页 |
| ·实验数据与结果分析 | 第52-54页 |
| ·本章小结 | 第54-55页 |
| 结论 | 第55-57页 |
| 参考文献 | 第57-60页 |
| 致谢 | 第60-61页 |
