规则:共158条,具备完整的描述和要求,无需额外的信息就可以对源代码进行合规性判定。 这些准则涵盖了标准C环境、未使用代码处理、数据类型和表达式、控制流、函数等多个方面,旨在最大限度地消除或减少编程错误。 1.4 重要性与作用 MISRA C:2012的重要性在于它提供了一个统一的、可遵循的C语言编程标准,有助于减少...
MISRATheMotorIndustrySoftwareReliabilityAssociationMISRA-C-:004GuidelinesfortheuseoftheClanguageincriticalsystems中文版
在汽车工业领域的实时嵌入式应用中,C 编程语言的使用越来越体现出广泛性和重要性。这在相当程度上取决于该语言固有的灵活性、可支持的范围及其潜在的访问广泛硬件环境的可移植性。详细的理由包括: 对于许多使用中的微处理器来说,如果存在其他除了汇编语言之外的可用语言,通常就是 C。在许多情况下,其他语言根本就不可...
MISRA C C AMD- -2 2 规则 1 标准:MISRA C 2012 规则 ID 说明 类别 COVERITY支持 指令 1.1 应该记录并了解程序输出依赖的任何实现定义行为。 必需 否 指令 2.1 所有源文件应该在没有任何编译错误的情况下编译。 必需 否 指令 3.1 所有代码都必须能按照记录的要求进行跟踪。 必需 否 指令 4.1 应该最大限度...
为了给这些关键代码的安全性提供基础保障,相关领域的研究者和开发者在近三十年一直致力于代码安全编程规范的研究和制订。 MISRA C 和C++ 安全编程规范的制订开始较早,也是目前该领域成果的典范。 【缺陷捕手】微信公众号开启了编程规范解读系列。将对包括MISRA C、MISRA C++和AutoSar C++等经典编程规范进行逐条解读。
带你走近MISRA C:2012 汽车软件与C语言 随着软件定义汽车概念的兴起,汽车软件开发的工作量开始呈指数级增加,当前车载软件代码量已经达到1亿-3亿行。这是一个什么概念呢,相当于比Windows系统还高出一个数量级。据调查,大部分的车载软件都是使用C语言进行开发,因为C执行效率高、代码量小,因此在汽车的小型控制...
1、c规范 MISRA (The Motor Industry Software Reliability Association 汽车工业软件可靠性联会) 是位于英国的一个跨国汽车工业协会,其成员包括了大部分欧美汽车生产商。其核心使命是为汽车工业提供服务和协助,帮助厂方开发安全的、高可靠性的嵌入式软件。这个组织最出名的成果是所谓的MISRA C Coding Standard,这一标准...
嵌入式开发人员经常抱怨没有一种编程语言适合他们的特殊需求。在某种程度上,这种情况并不令人惊讶,因为尽管许多开发人员都在开发嵌入式应用程序,但他们仍然只是世界编程社区的一小部分。尽管如此,有些语言的开发还是考虑到了嵌入式。值得注意的例子是PL/M、Forth和Ada,它们都被广泛使用,但从未被普遍接受。其他语言,如...
Parasoft作为自动化软件测试领域的领导者,已率先加速支持全新的MISRA C:2025合规标准,并计划于2025年5月推出C/C++test 2025.1版本。凭借数十年在MISRA合规领域的深厚积累,Parasoft持续助力功能安全提升,同时降低开发成本、复杂性与风险。慧都科技携手Parasoft,致力于为国内客户提供更优质、更高效的服务。无论您是...
[Misrac解读]是一种软件安全工程标准,旨在规范C编程语言的使用,以提高软件的可靠性和安全性。Misrac(Motor Industry Software Reliability Association C)由汽车工业的软件开发专家组成的组织于1994年成立。他们致力于解决汽车电子系统中的软件可靠性和安全性问题。 Misrac标准的目标是提供一套能够降低软件开发中存在的缺...