行业合规标准MISRA如何帮助C/C++代码程序员高效地编写代码?

开发团队根据MISRA来衡量当今软件的很大一部分。但是到底什么是MISRA,它是如何开发的,C和C++开发人员是如何根据它来衡量标准的,以及他们是如何知道自己符合标准的?Parasoft自动化测试工具能否满足MISRA标准要求?

MISRA标准包含编写软件的准则和代码规则。汽车、航空航天和国防、医疗、工业自动化和铁路等行业都使用该标准来帮助他们的开发人员编写源代码,以确保软件的安全、安保和可靠性。

由于嵌入式软件工程师使用C和C++编程语言来编写安全关键型软件的代码,MISRA标准的创建者为使用这两种语言的编码者建立了这些标准。

在20世纪90年代初,电子产品在汽车中变得越来越重要。作为这些电子产品的一个组成部分的嵌入式软件也是如此。因此,工程师和制造商开始意识到,无论是出于安全还是商业原因,软件的可靠性是至关重要的。今天的挑战甚至更大,因为一辆汽车的软件可能涉及超过1亿行的编码。

MISRA的功能安全编码标准

今天,开发团队采用编码标准作为定义、管理和利用一组编码实践的方法,其首要目标是一致性。编码规则的主要目的是限制语言的使用,这样可以防止开发人员做一些 “错误 “的事情,并可能产生潜在的危险。

开发人员可以通过采取合理的语言使用限制来避免软件中的许多缺陷。这导致了风格的统一,这在软件项目中作为一种纪律是很有价值的。

常用的MISRA C和C++语言指南和规则

每个MISRA标准都包含了一套编码参数和规则,以及支持材料。支持材料是标准的补充部分,提供了任何想获得符合性的程序员所必需的重要背景信息。让我们看看当前的C和C++ MISRA编码标准本身和简要说明:

  • MISRA C++ 2008:虽然C仍然是主流的编码语言,但这个版本谈到了C++的使用增加。注意:许多企业选择以AUTOSAR C++ 14为标准,它涵盖了C++的最新变化。事实上,AUTOSAR和MISRA联手制作了下一代的标准。
  • MISRA C 2012:该版本于2013年发布,也被称为MISRA C3,进一步发展了MISRA C标准。它吸取了14年来与成千上万的组织和用户互动的经验,包括了一些新的规则,弥补了一些漏洞,并改进了以前存在的规则背后的解释和描述。该标准扩展了对C99的支持,并保持了对C90、C11和C18的支持。它还做出了一些改进,降低了合规的复杂性和成本。
  • MISRA合规性2020:这份现行文件为完成MISRA编码标准的合规性设定了一个框架。它取代了以前版本的标准中的合规性和流程及偏差要求。

使用

自动化测试工具Parasoft功能全面对比测评

标签:

声明:本站部分文章及图片源自用户投稿,如本站任何资料有侵权请您尽早请联系jinwei@zod.com.cn进行处理,非常感谢!

上一篇 2021年6月3日
下一篇 2021年6月3日

相关推荐

发表回复

登录后才能评论