Testbed代码规则检测配置优化实践——基于report.dat文件的精准规则启用

        在嵌入式软件开发中,Testbed作为静态代码分析工具被广泛用于确保代码符合行业标准(如MISRA、AUTOSAR等)。本文记录如何通过修改report.dat配置文件实现特定代码规则的精准启用。

        本文以C语言编码标准110S为例,此标准需要修改350的值为0才可启用,因此我们需要在c/report.dat中针对110S,设置vals为350 0。

        如下图所示打开c/report.dat;

       在自己创建的编码标准中,选中110S,双击打勾处,则会弹出以下配置界面,如图所示进行配置值,然后保存;

        切换编码标准,选中完需要检测的C语言文件后,如图所示点击进入编码规则切换界面;

        如图所示,下拉选中创建的规则集,然后即可对选中文件进行分析,若违反110S,则会报出该条规则错误。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值