将sysearch.dat和sysppvar.dat拷到本地 把.dat里面的所有路径替换成 要做静态分析的本地工程项目的所有头文件路径,如果有新增的新路径需要自己手动添加 通过TBvision来做静态分析,便于查看结果 创建集合 之后点Create,然后选Group 选一个或者多个.c文件,Recures Folders打勾,然后点Add
选择之前的.dat文件,其他默认 点击NO 设置静态分析选项 单击LDRA Configuration Dialogs 选Static Analysis Options 如下两张图一样打勾 代码评审选项设置 选MISRA-C:2012,其他默认 然后执行分析,单击Run LDRA Testbed Interactive Analysis 选中前面四个,点击start analysis 点Open Log View可以查看运行状态 分析完毕 右击查看结果 确认每个头文件都被找到并扩展 Code Review The MISRA C:2012 categories are mapped as follows: Mandatory as Mandatory(M), Required as Checking©, Advisory as Optional(O). In addition, the category Document(I) is used to highlight code that has issues
根据公司规定看看那些不符合需要更改的 双击违反项, 可以定位到源代码
双击“Phase Code“,可以了解这条规则的具体含义 查看Test Manager Report 点击下图的两个Report可以查看详细报告 如果代码更改后要重新分析, 需要先删除上一次的分析结果 重新分析 导出报告需要打开Testbed 选中刚刚的Group Set Analysis里面悬着TBpublish 选中路径,勾选Publish HTML Reports