在嵌入式软件、汽车电子或者工业控制这些项目里,碰到MISRA工具怎么选型、检查工具和人工评审如何分工的问题,我们不要只看工具宣传页上写了支持多少条规则,因为MISRA检查会涉及编程规范、编译器的特性、静态分析的设定、偏差的批准还有评审的记录,工具的任务是把那些能自动找出来的问题尽早地暴露出来,而人工评审则要处理工具判断不了的问题,这些问题需要结合设计意图和项目背景才能确认,MISRA Compliance:2020里面也清楚地提到,在挑选静态分析工具的时候,工具应当尽可能多地去执行指南里的检查,并且要有检查整个程序的能力,不能只检查单个的源文件。
2026-06-01