1、打开polyspace-bug-finder,新建工程文件:File New Project,命名,选择保存路径,然后点击Next。
文章来源地址https://www.toymoban.com/news/detail-511712.html
2、找到需要检测的文件,然后点击“Add Source Files” Finish
3、在Configuration左边窗口点击“Bug Finder Analysis”选项,然后将“default”改为“all”,其他选项采用默认值。
4、导入代码检测规则:在“Configuration”窗口中,打开“Environment Settings”设置项,导入.h文件,如图:
5、自动生成测试报告:在“Configuration”窗口中,打开“Reporting”设置项,勾选“Generate report”,选择报告格式等,如图:
6、点击运行,等待结果,整理测试报告,详见测试报告示例。
7、一般着重“High”和“Medium”类型的错误,点击具体的某项错误,可以看到此代码对应的位置,及错误原因描述。另外,鼠标放在代码中对应的变量上,即可看到其数据类型、范围。
文章来源:https://www.toymoban.com/news/detail-511712.html
到了这里,关于【AUTOSAR】AUTOSAR开发工具链(五)----polyspace-bug-finder 简单操作说明的文章就介绍完了。如果您还想了解更多内容,请在右上角搜索TOY模板网以前的文章或继续浏览下面的相关文章,希望大家以后多多支持TOY模板网!