原文传递
符合MISRA C标准的自动代码生成及代码检查工具
| 论文题名： | 符合MISRA C标准的自动代码生成及代码检查工具 |
| 关键词： | 安全代码;自动代码生成;代码检查 |
| 摘要： | 在汽车电子等实时控制领域，随着控制软件越来越庞大和复杂，对控制软件的安全性、可靠性以及上市周期的要求也越来越高。自动代码生成技术能够大大缩短开发周期，提高软件质量，对开发高质量的软件系统具有非常重要的意义。MISRA C标准是MISRA(The Motor Industry Software Reliability Association，汽车工业软件可靠性协会)发布的针对汽车电子领域的安全代码标准，是开发汽车电子领域安全软件的权威标准。 SmartOSEK IDE是浙江大学嵌入式系统工程实验室开发的基于模型驱动的集成开发环境。本文主要研究开发了SmartOSEK IDE符合MISRA C标准的自动代码生成工具，以及符合MISRA C标准的代码检查工具，包括预处理器和C编译器前端，对自动生成的应用程序代码进行检查，使得SmartOSEK IDE能够开发支持MISRA C标准的高可靠软件系统。 本文的主要工作总结为以下几个方面： 1.开发符合MISRA C标准的自动代码生成工具，支持针对SmartOSEK OS的完整应用程序代码的生成。 2.自动代码生成工具能够生成符合MISRA C标准的、优化的、高可读的代码。 3.开发符合MISRA C标准的代码检查工具，主要开发了符合MISRA C标准的编译器前端，提供从词法分析到语法分析以及语义分析的整个过程，并在其基础之上增加了对MISRA C规则的检查。 代码检查工具能够对自动代码生成器生成的代码和SmartOSEK OS代码一起进行检查，确保整个系统符合MISRA C标准。 |
| 作者： | 黄凯 |
| 专业： | 计算机软件与理论 |
| 导师： | 吴朝晖;赵民德 |
| 授予学位： | 硕士 |
| 授予学位单位： | 浙江大学计算机学院 |
| 学位年度： | 2008 |
| 正文语种： | 中文 |
检索历史
应用推荐
