什么是MISRA？
MISRA是指由汽车工业软件可靠性协会（MISRA）开发的，针对C和C++广泛采用的编码标准。
MISRA编码标准（MISRA C:2012和MISRA C++:2008）已广泛用于除汽车以外的安全关键型行业，例如医疗、军事和航空航天工程，它提供了一组用于编写嵌入式C和C++代码的最佳实践，促进针对关键系统的安全、可靠和可移植代码的编写。（MISRA拥有C和C++的工作组，Parasoft是MISRA的两个工作组的成员。）
MISRA C:2012
对于C开发，MISRA C标准支持C90，C99，C11和C18语言规范。当前版本的MISRA C:2012经过几年的发展，包括158条MISRA C规则和17条指令，总共175条指南。于2020年发布的MISRA C:2012修正案2将标准扩展了2条规则。
MISRA C++:2008
对于C++编程，当前的MISRA标准是MISRA C++:2008标准。但是，许多组织选择对AUTOSAR C++14标准进行标准化，该标准涵盖了C++语言的最新更改。最近，MISRA和AUTOSAR组织宣布了他们在下一代这些标准上的合作。有关Parasoft为AUTOSAR提供的产品的更多信息，请单击此处。
通过静态分析加强MISRA的合规性
Parasoft为应用MISRA C:2004和MISRA C:2012（包括修订2）提供了全面的解决方案，以帮助组织克服与确保设备上的汽车软件质量相关的挑战。Parasoft C/C++test已通过TÜVSÜD的认证，可自动执行和监控静态分析编码标准（例如MISRA）。它还提供了一个单元测试平台，该平台集成了测试创建、执行和覆盖率报告。来自Parasoft C/C++test的测试和分析数据在Parasoft的集中式报告和分析中心中进行了汇总和关联，从而为复杂软件供应链中的每个步骤提供了额外的分析和报告。
Parasoft如何帮助实现MISRA合规性
MISRA编码标准提供了一套全面的准则，可防止出现安全漏洞和程序故障。对于不使用Parasoft工具和产品的团队，应用这些准则并证明合规性可能会带来过多负担。Parasoft简化了此过程，这对于确保按时交付软件至关重要。
为了成功实现合规性，Parasoft的MISRA C检查器软件提供了以下功能：
-
在每次构建软件后，通过静态代码分析来验证MISRA准则，以确保日常执行。
-
从Parasoft的MISRA Compliance Pack中快速获取高级概述和详细报告，以有效地展示合规性。
-
快速查看项目需求对测试的可追溯性，这不仅是MISRA的重要要求，还是您可能使用的安全标准。
在整个软件开发生命周期中支持MISRA遵从性对于持续的执法和可追溯性非常重要，按照MISRA Compliance:2020指南自动化文档编制，对于节省时间、资源和处理此指南的挫败感至关重要。请参阅以下示例，了解Parasoft自动生成的关键报告。
MISRA准则执行计划
MISRA准则执行计划演示了如何验证每个MISRA准则。在大多数情况下，这显示了MISRA指令或规则与关联的Parasoft分析之间的链接。请参阅以下示例：
MISRA指南重新分类计划
MISRA指南重新分类计划用于传达作为指南的商定重要性，作为供应商/客户关系的一部分。该文档演示了如何针对当前项目对每条指南进行专门分类。
强制性和必需的准则不能降级到较低的水平；但是，项目可能会决定将要求或咨询准则升级到更严格的设置，并且咨询可能会不适用（即，不需要遵从该准则）。请参阅下面的重新分类计划示例：
MISRA偏差报告
MISRA偏差报告以合理的理由记录了偏离准则的情况。每当检测到规则违例但允许其继续存在时，必须将其记录在偏差报告中。在大多数情况下，这些是从代码分析报告的抑制的错误。报告示例如下所示：
MISRA合规性摘要
合规性摘要是总体项目合规性的主要记录。该报告记录了每个准则的遵守状况，以及任何相关的偏差或重新分类。一个例子如下所示：
白皮书
通过Parasoft C/C++test实现MISRA C:2012合规性
Parasoft C/C++test具有全面的代码覆盖率，支持MISRA C++ 2008，MISRA C 2012和MISRA C的所有常见版本，可在主机和目标上自动执行C和C++静态分析，对等代码审查以及单元和组件测试，从而实现自动化。以及MISRA C:2012 Amendment 2安全准则。在本文中，了解Parasoft C/C++test如何简化您的部署并帮助创建ISO 26262和MISRA所需的安全、可靠、可信赖的软件。
扫一扫
487
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
