.webp?width=850&name=Misra_transparent_BG%20(1).webp)
MISRA 检查器
根据MISRA C:2004、MISRA C:2012、MISRA C:2019、MISRA C:2023、MISRA C++:2008 和 MISRA C++:2023实现关键系统的合规性
您需要转换到 MISRA C:2023/MISRA C++:2023？或者想知道从何处开始？
通过认证以确保合规性
Axivion Suite 的 MISRA 检查器已获得 SGS TUEV Saar 认证，可用于符合 ISO 26262 至 ASIL D、IEC 61508 至 SIL 4、IEC 62304 至 C 级安全要求的软件项目。
.webp?width=850&name=Misra_check_BG%20(1).webp)
- 规则和规则组的可定制严重程度分类允许您以符合 MISRA 的方式确定工作的优先级并对规则进行分类。MISRA 将其包含的规则分为强制性、必要性或建议性。若要符合 MISRA 标准，则不得违反标记为强制性的规则。如果存在正当理由，则可以偏离按要求分类的规则。MISRA 为此提供了文档化的流程。
- 通过代码或外部文件的论证，可以在工作流程中以结构化和系统化的方式处理与 MISRA 规则的偏差，以便按照标准进行开发。可以直接指定 MISRA 理由和权限。
- 通过应用不同的增量间隔，可以观察和评估开发进程。此外，增量分析可以使“不引入新发现”等目标的实现变得透明。
- 自动生成有关代码 MISRA 合规性的报告，简化文档编制。
