2. MISRA C:2012 的规则体系 MISRA C:2012 标准并非简单的代码风格指南,而是一套严谨的规则体系,它包含 指令 (Directives) 和 规则 (Rules) 两大类。 2.1 指令 (Directives) 指令(Directives) 主要关注代码的组织、构建和文档等方面,旨在建立良好的开发流程和代码管理规范。MISRA C:2012 标准中共包含 16 条指令...
《MISRA C:2012Guidelines for the use of the C language in critical systems》是MIRA Limited于2013年3月发布的关于在关键系统中使用C语言的指南,主要目的是通过定义C语言的子集来减少编程错误,提高代码的可靠性和可移植性。 背景: C语言的流行原因:C语言广泛应用于许多处理器,能编译为高效的机器代码,有国际标...
很明显,MISRA C:2012规则就是为静态测试而生的。Perforce公司的静态分析工具Helix QAC,是汽车行业中主流的静态分析器,其开发团队是MISRA C&C++编码委员会的创始会员,也是MISRA C&C++委员会最具影响力的会员。Helix QAC具有业界领先的编码规范覆盖度,目前MISRA C:2004的编码规范覆盖度达到了99%,而对MISRA C:...
很明显,MISRA C:2012规则就是为静态测试而生的。Perforce公司的静态分析工具Helix QAC,是汽车行业中主流的静态分析器,其开发团队是MISRA C&C++编码委员会的创始会员,也是MISRA C&C++委员会最具影响力的会员。Helix QAC具有业界领先的编码规范覆盖度,目前MISRA C:2004的编码规范覆盖度达到了99%,而对MISRA C:2012...
很明显,MISRA C:2012规则就是为静态测试而生的。Perforce公司的静态分析工具Helix QAC,是汽车行业中主流的静态分析器,其开发团队是MISRA C&C++编码委员会的创始会员,也是MISRA C&C++委员会最具影响力的会员。Helix QAC具有业界领先的编码规范覆盖度,目前MISRA C:2004的编码规范覆盖度达到了99%,而对MISRA C:2012...
misra c 2012编码标准 MISRA C 2012编码标准是针对C语言编程的一项国际性标准,旨在为开发者提供一套规范化的指导原则,以确保软件的可靠性和安全性。该标准由英国汽车工程学会(Motor Industry Software Reliability Association,简称MISRA)制定,是MISRA C标准的第三个版本,于2012年发布。 MISRA C2012针对C语言编程中...
MISRA C:2012是由汽车工业软件可靠性协会(MISRA)制定的一套针对C语言的编码准则。其目的是通过这套准则最大限度地消除或减少错误,提升代码的质量、安全性和可靠性。这套准则在汽车电子、轨道交通、医疗器械、航空航天等多个领域中广泛应用。MISRA C:2012整合了此前的AMD1和TC1的内容,包含173条规则...
MISRA C:2012规则分类 MISRA C:2012的规则按照性质分为两类:指令(Directives)和规则(Rules)。规则有三种不同类别:”强制(Mandatory)”、”要求(Required)”和“建议(Advisory)”;其中具体结果如下图所示。 图3 MISRA C:2012规则分类那么,在任何情况下都可以明确地说明该条代码违反了规则吗?出于此问题,MISRA C:...
诊断消息0883:“包含文件代码不受重复包含的保护”正是MISRAC:2012规则Dir 4.10的映射,通过诊断消息开发人员就可以了解到代码违反MISRA C:2012规则的情况,从而对代码进行修改使其合规。 图8 Rule 9.1规则的不同诊断消息 Rule 9.1:对象在初始化前不能被使用。
MISRA C:2012规则要求每个源文件应该是一个完整的、独立的模块,其内容应该尽可能简洁、清晰。每个源文件应该包含一个独立的头文件,用于声明全局变量和函数原型。 2. 规则2:注释 MISRA C:2012规则要求在代码中添加注释来解释代码的意图和功能。注释应该清晰、简洁,并且应该放置在代码之前而不是代码之后。 3. 规则3...