| 摘要 | 第1-4页 |
| Abstract | 第4-5页 |
| 目录 | 第5-7页 |
| 图目录 | 第7-9页 |
| 表目录 | 第9-10页 |
| 第1章 绪论 | 第10-14页 |
| ·课题背景 | 第10-11页 |
| ·主要内容和创新 | 第11-12页 |
| ·本文结构 | 第12-14页 |
| 第2章 研究基础和现状 | 第14-28页 |
| ·安全代码标准MISRA C | 第14-17页 |
| ·MISRA C标准简介 | 第15页 |
| ·MISRA C对代码风险来源的分类 | 第15-17页 |
| ·MISRA C的负面影响 | 第17页 |
| ·模型驱动的软件开发方法及代码生成技术 | 第17-24页 |
| ·基于模型驱动的软件开发思想 | 第17-19页 |
| ·代码生成的意义 | 第19-20页 |
| ·工业界开发工具介绍 | 第20-23页 |
| ·代码生成的发展方向 | 第23-24页 |
| ·代码检查技术 | 第24-27页 |
| ·工业界代码检查工具介绍 | 第24-26页 |
| ·支持MISRA C标准的代码检查 | 第26-27页 |
| ·本章小结 | 第27-28页 |
| 第3章 SmartOSEK IDE代码生成总体架构 | 第28-33页 |
| ·基于模型驱动的集成开发环境SmartOSEK IDE | 第28-29页 |
| ·符合MISRA C标准的代码生成及代码检查工具 | 第29-32页 |
| ·符合MISRA C标准的自动代码生成工具 | 第30-31页 |
| ·符合MISRA C标准的代码检查工具 | 第31-32页 |
| ·本章小结 | 第32-33页 |
| 第4章 符合MISRA C标准的自动代码生成工具 | 第33-45页 |
| ·SmartC模型的中间表示 | 第33-35页 |
| ·XML文件的解析 | 第35-36页 |
| ·应用程序代码的生成 | 第36-43页 |
| ·代码生成方法 | 第36-37页 |
| ·生成针对SmartOSEK OS的代码 | 第37-42页 |
| ·生成符合MISRA C标准的代码 | 第42-43页 |
| ·本章小结 | 第43-45页 |
| 第5章 符合MISRA C标准的代码检查工具 | 第45-70页 |
| ·预处理器的实现 | 第45-46页 |
| ·编译器前端的实现 | 第46-68页 |
| ·词法分析 | 第47-49页 |
| ·语法分析 | 第49-58页 |
| ·数据类型设计 | 第58-60页 |
| ·符号表设计 | 第60-62页 |
| ·类型检查 | 第62-68页 |
| ·MISRA C规则总结表 | 第68-69页 |
| ·本章小结 | 第69-70页 |
| 第6章 自动代码生成和代码检查工具的应用 | 第70-77页 |
| ·实例描述 | 第70-71页 |
| ·应用程序代码的生成 | 第71-74页 |
| ·应用程序代码的检查 | 第74-76页 |
| ·本章小结 | 第76-77页 |
| 第7章 工作总结与展望 | 第77-79页 |
| ·本文工作总结 | 第77-78页 |
| ·未来工作展望 | 第78-79页 |
| 参考文献 | 第79-81页 |
| 作者简历 | 第81-82页 |
| 致谢 | 第82页 |