|
|
|
|
符合MISRA C标准的自动代码生成及代码检查工具 |
| |
| 论文目录 |
| |
| 摘要 | 第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页 |
|
|
|
|
论文编号BS779710，这篇论文共82页
会员购买按0.35元/页下载，共需支付28.7元。 直接购买按0.5元/页下载，共需要支付41元 。 |
 |
 |
我还不是会员，注册会员！
会员下载更优惠!充值送钱！ |
我只需要这篇，无需注册！
直接网上支付，方便快捷！ |
|
|
|
版权申明：本目录由www.jylw.com网站制作，本站并未收录原文，如果您是作者，需要删除本篇论文目录请通过QQ或其它联系方式告知我们，我们承诺24小时内删除。 |
|
|
广告服务