MISRA C 解读

说明：本文由vector官方视频整理而来，原视频链接解读MISRA C_哔哩哔哩_bilibili

1、MISRA 简介

1.1 发起

MISRA (The Motor Industry Software Reliability Association ) 汽车工业软件可靠性联会，起先作为研究车载嵌入式软件制备准则的开发项目，发源于上世纪90年代初期由英国政府资助的“SafelT”计划。其在1994年发布的《Development Guidelines for Vehicle based Software》，作为行业共识收录入IEC61508的首个针对汽车工业的基础解读。在英国政府资助撤出后，MISRA由汽车制造商、零部件供应商和工程咨询公司进行协作，先后推出MISRA C(初版发布于1998年)和MISRA C++(发行于2008年)，成为嵌入式编程领域普遍接受的编程标准

1.2 经营

MISRA由指导委员会来负责经营，该委员会成员包括Bentley Motors,Delphi,Ford，MIRA,PeterJesty,Ricardo p,Visteon,ZF。2021年(MSRA为独立的非营利团体，接受MISRA ConsortiumLimted的管理

1.3 MISRA与ISO 26262，AUTOSAR的关系

ISO 26262-6:2018 Part 6: Product development at the software level 引述MISRAC:2012

AUTOSAR 4.3 General Software Specification要求，如果BSW模块实现采用C语言编程，则须遵循MISRAC:2012标准

1.4 版本

1.5为什么要使用MISRA C标准

C语言的缺点来自于其优点。

2、MISRA C指南介绍

2.1概览

2.2 两种规则类型

2.3 三种规则类别

2.4 规则可判定

2.5 两种作用域类型

单元测试使用

系统测试使用

3、MISRA C 规则解读示例

3.1 Rule1.1

3.2 Rule3.2

3.3 Rule9.1

3.4 Rule10.5

4、补充内容

4.1为什么要使用MISRA C标准

4.2 可以配合MISRA C规则进行检查的工具

4.3 可以配合MISRA C规则进行检查的编译器

Green Hills软件

IAR系统

keil 系统