在嵌入式软件开发中,Testbed作为静态代码分析工具被广泛用于确保代码符合行业标准(如MISRA、AUTOSAR等)。本文记录如何通过修改report.dat配置文件实现特定代码规则的精准启用。
本文以C语言编码标准110S为例,此标准需要修改350的值为0才可启用,因此我们需要在c/report.dat中针对110S,设置vals为350 0。
如下图所示打开c/report.dat;
在自己创建的编码标准中,选中110S,双击打勾处,则会弹出以下配置界面,如图所示进行配置值,然后保存;
切换编码标准,选中完需要检测的C语言文件后,如图所示点击进入编码规则切换界面;
如图所示,下拉选中创建的规则集,然后即可对选中文件进行分析,若违反110S,则会报出该条规则错误。