VIP10

本课程属于：017-MISRAC编码规范 嵌入式基础与RISC-V · 共 10 门相关课程，组合学习更完整。

查看所属VIP全部课程 →

← 返回所属目录咨询 / 购买

MISRA C缺陷预防与代码审查测试验证实战

共计 30 章节

点击此处阅读海量试读课程：100+行业、1000+细分领域

MISRA C的起源与发展 · MISRA C在汽车与嵌入式领域的地… · MISRA C 2012与2004版…

编码规则总览

MISRA C规则分类（强制/必要/… · 规则编号体系 · 规则违反的严重等级

编码规则总览MISRA

开发环境与工具链

静态分析工具的选择（PC-lint · QAC · Coverity）

开发环境工具链

基本数据类型使用

避免隐式类型转换 · 明确使用stdint.h类型 · 禁止使用char进行算术运算

基本数据类型使用避免隐式类型转换

指针使用规范

指针算术运算限制 · 空指针检查 · 避免函数指针类型转换

指针使用规范指针算术运算限制

控制流结构

禁止使用goto · 限制break和continue的使… · switch语句必须包含defaul…

控制流结构goto

表达式与副作用

避免复合表达式中的副作用 · 禁止在条件表达式中使用赋值操作 · 序列点规则

表达式副作用

函数设计与声明

函数原型必须可见 · 参数个数限制 · 避免可变参数函数

函数设计声明

预处理指令规范

宏定义必须加括号 · 禁止使用#和##运算符 · 条件编译的嵌套限制

预处理指令规范宏定义必须加括号

声明与定义

变量作用域最小化 · 禁止使用全局变量（除非必要） · static关键字的正确使用

初始化规则

所有变量必须初始化 · 结构体初始化必须完整 · 禁止使用未定义行为

初始化规则所有变量必须初始…

数组与缓冲区

边界检查 · 禁止越界访问 · 使用安全字符串函数（如strncpy…

数组缓冲区

动态内存管理

禁止使用malloc/free（在M… · 使用静态内存池 · 内存泄漏预防

动态内存管理malloc/free

布尔表达式

使用_Bool类型 · 避免隐式布尔转换 · 布尔运算的短路规则

布尔表达式Bool

位操作规范

位域的使用限制 · 移位操作的边界检查 · 禁止对有符号数进行位运算

位操作规范位域的使用限制

枚举与常量

枚举值必须唯一 · 使用枚举替代魔数 · const关键字的正确使用

断言与错误处理

静态断言的使用 · 运行时断言策略 · 错误码返回规范

断言错误处理

代码审查流程

同行评审的MISRA检查清单 · 审查会议组织 · 问题跟踪与闭环

代码审查流程MISRA

静态分析工具实战

PC-lint配置示例 · QAC规则集定制 · 误报处理策略

静态分析工具实战PC-lint

单元测试与MISRA

测试用例设计原则 · 覆盖率要求（语句/分支/MCDC） · 测试框架选择

MISRA单元测试

集成测试策略

模块间接口测试 · 数据流分析 · 回归测试与MISRA合规

集成测试策略模块间接口测试

安全关键系统开发

ASIL等级与MISRA的关系 · 功能安全标准（ISO 26262）对…

安全关键系统开发ASIL

常见违规模式分析

Top 10 MISRA违规案例 · 违规根因分析 · 修复策略

常见违规模式分析Top

代码重构与合规

遗留代码的MISRA适配 · 渐进式合规策略 · 重构风险控制

代码重构合规

编译器与MISRA

编译器行为对MISRA规则的影响 · volatile的正确使用 · 优化与合规的平衡

多线程与并发

MISRA对并发的限制 · 原子操作规范 · 锁机制的使用建议

多线程并发

文档与注释

代码注释的MISRA要求 · 合规性文档模板 · 规则偏离申请流程

团队培训与文化建设

MISRA培训计划 · 编码规范制定 · 代码评审文化培养

团队培训文化建设

MISRA合规审计

内部审计流程 · 第三方审计准备 · 合规性报告生成

MISRA合规审计

实战项目演练

从零开始构建MISRA合规项目 · 全流程工具链集成 · 常见问题与解决方案

实战项目演练MISRA