基于MISRA的C程序规则分析验证平台的实现
| 摘要 | 第4-5页 |
| ABSTRACT | 第5页 |
| 第一章 绪论 | 第8-11页 |
| 1.1 课题的发展概况 | 第8-9页 |
| 1.2 课题的国内外研究现状 | 第9-10页 |
| 1.3 本文的研究内容及结构安排 | 第10-11页 |
| 第二章 平台相关技术背景简介 | 第11-17页 |
| 2.1 MISRA-C规则相关知识 | 第11-12页 |
| 2.2 词法分析与语法分析 | 第12页 |
| 2.3 XML文档存储 | 第12-13页 |
| 2.4 Java读取XML技术 | 第13-14页 |
| 2.5 C/C++读取XML技术 | 第14-15页 |
| 2.6 JNI技术 | 第15页 |
| 2.7 Java Swing窗体技术 | 第15-16页 |
| 2.8 本章小结 | 第16-17页 |
| 第三章 平台的总体分析与设计 | 第17-31页 |
| 3.1 平台的可行性分析 | 第17-18页 |
| 3.1.1 技术可行性 | 第17-18页 |
| 3.1.2 经济和管理可行性 | 第18页 |
| 3.2 系统平台的需求分析 | 第18-21页 |
| 3.3 系统架构设计 | 第21-30页 |
| 3.3.1 设计目标及环境 | 第22页 |
| 3.3.2 功能模块与接口设计 | 第22-23页 |
| 3.3.3 代码分析模块的设计 | 第23-24页 |
| 3.3.4 MISRA规则判定模块的设计 | 第24-27页 |
| 3.3.5 信息提取存储模块的设计 | 第27-28页 |
| 3.3.6 显示模块的设计 | 第28-30页 |
| 3.3.7 验证平台整体模型的整合 | 第30页 |
| 3.4 本章小结 | 第30-31页 |
| 第四章 MISRA规则分析验证平台的实现 | 第31-51页 |
| 4.1 C程序解析的实现 | 第31-34页 |
| 4.2 解析信息的存储实现 | 第34-38页 |
| 4.2.1 仅关键字段匹配类 | 第35-36页 |
| 4.2.2 关键字内容验证类 | 第36-37页 |
| 4.2.3 关键字下所包含内容验证类 | 第37-38页 |
| 4.2.4 全文内匹配验证类 | 第38页 |
| 4.3 规则匹配计算 | 第38-42页 |
| 4.3.1 仅关键字段匹配类 | 第38-39页 |
| 4.3.2 关键字内容验证类 | 第39页 |
| 4.3.3 关键字下所包含内容验证类 | 第39-40页 |
| 4.3.4 全文内匹配验证类 | 第40-42页 |
| 4.4 交互界面实现 | 第42-47页 |
| 4.5 可视化统计的实现 | 第47-50页 |
| 4.6 本章小结 | 第50-51页 |
| 第五章 平台的功能测试 | 第51-58页 |
| 5.1 测试数据的选定 | 第51页 |
| 5.2 关键信息统计的功能测试 | 第51-53页 |
| 5.3 MISRA规则验证的功能测试 | 第53-57页 |
| 5.4 本章小结 | 第57-58页 |
| 第六章 总结与展望 | 第58-60页 |
| 6.1 总结 | 第58页 |
| 6.2 展望 | 第58-60页 |
| 参考文献 | 第60-63页 |
| 发表论文和参加科研情况说明 | 第63-64页 |
| 致谢 | 第64-65页 |
