【AUTOSAR】AUTOSAR开发工具链(五)----polyspace-bug-finder 简单操作说明

这篇具有很好参考价值的文章主要介绍了【AUTOSAR】AUTOSAR开发工具链(五)----polyspace-bug-finder 简单操作说明。希望对大家有所帮助。如果存在错误或未考虑完全的地方,请大家不吝赐教,您也可以点击"举报违法"按钮提交疑问。

1、打开polyspace-bug-finder,新建工程文件:File      New Project,命名,选择保存路径,然后点击Next。

【AUTOSAR】AUTOSAR开发工具链(五)----polyspace-bug-finder 简单操作说明

 文章来源地址https://www.toymoban.com/news/detail-511712.html

2、找到需要检测的文件,然后点击“Add Source Files”     Finish

【AUTOSAR】AUTOSAR开发工具链(五)----polyspace-bug-finder 简单操作说明

 

3、在Configuration左边窗口点击“Bug Finder Analysis”选项,然后将“default”改为“all”,其他选项采用默认值。

【AUTOSAR】AUTOSAR开发工具链(五)----polyspace-bug-finder 简单操作说明

 

4、导入代码检测规则:在“Configuration”窗口中,打开“Environment Settings”设置项,导入.h文件,如图:

【AUTOSAR】AUTOSAR开发工具链(五)----polyspace-bug-finder 简单操作说明

 

5、自动生成测试报告:在“Configuration”窗口中,打开“Reporting”设置项,勾选“Generate report”,选择报告格式等,如图:

【AUTOSAR】AUTOSAR开发工具链(五)----polyspace-bug-finder 简单操作说明

 

6、点击运行,等待结果,整理测试报告,详见测试报告示例。

【AUTOSAR】AUTOSAR开发工具链(五)----polyspace-bug-finder 简单操作说明

【AUTOSAR】AUTOSAR开发工具链(五)----polyspace-bug-finder 简单操作说明 

7、一般着重“High”和“Medium”类型的错误,点击具体的某项错误,可以看到此代码对应的位置,及错误原因描述。另外,鼠标放在代码中对应的变量上,即可看到其数据类型、范围。

【AUTOSAR】AUTOSAR开发工具链(五)----polyspace-bug-finder 简单操作说明 

 

到了这里,关于【AUTOSAR】AUTOSAR开发工具链(五)----polyspace-bug-finder 简单操作说明的文章就介绍完了。如果您还想了解更多内容,请在右上角搜索TOY模板网以前的文章或继续浏览下面的相关文章,希望大家以后多多支持TOY模板网!

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处: 如若内容造成侵权/违法违规/事实不符,请点击违法举报进行投诉反馈,一经查实,立即删除!

领支付宝红包 赞助服务器费用

相关文章

  • <Linux开发> linux开发工具-之-I2C TOOLS工具使用

    <Linux开发> linux开发工具-之-I2C TOOLS工具使用 <Android开发> Android开发工具- 之-I2C TOOLS工具使用 <Linux开发>驱动开发 -之- Linux I2C 驱动 在笔者的另一篇文章 <Android开发> Android开发工具- 之-I2C TOOLS工具使用讲解过,如何在android上使用I2C TOOLS工具。本文主要是分析如何在

    2024年02月16日
    浏览(38)
  • 微信小程序用什么工具开发(微信小程序开发工具介绍)

    有很多人在开发小程序之前都会去了解微信小程序开发工具,想知道微信小程序用什么工具开发。时至今日,随着互联网技术的发展,现在开发微信小程序也能使用多种不同的工具,让我们来了解一下吧。 一、微信开发者工具 这是微信官方提供的微信小程序开发工具,可以

    2024年02月11日
    浏览(32)
  • python开发之远程开发工具对比

    除了本地开发外,还有一种常见的开发方式就是远程开发,一般情况是一台Windows或mac笔记本作为日常使用的电脑,另有一台linux服务器作为开发服务器。开发服务器的性能往往较强,这样远程开发的方式一方面可以让我们在习惯的系统下工作,又能利用强大的服务器,而且

    2024年01月22日
    浏览(34)
  • 鸿蒙的开发语言、工具以及开发环境。

    一、鸿蒙开发主要使用华为自主研发的鸿蒙操作系统(HarmonyOS)支持的语言进行应用开发。根据官方文档和资源,鸿蒙系统支持多种开发语言。 1. Java:作为鸿蒙系统原生支持的开发语言之一,Java在鸿蒙应用开发中占据重要地位,尤其是对于Android开发人员来说,可以较为容易

    2024年04月27日
    浏览(21)
  • 【高效开发工具系列】Hutool Http工具类

    💝💝💝欢迎来到我的博客,很高兴能够在这里和您见面!希望您在这里可以感受到一份轻松愉快的氛围,不仅可以获得有趣的内容和知识,也可以畅所欲言、分享您的想法和见解。 推荐:kwan 的首页,持续学习,不断总结,共同进步,活到老学到老 导航 檀越剑指大厂系列:全面总

    2024年02月05日
    浏览(31)
  • 【Linux】Linux开发工具(一)——vim工具

     作者:一个喜欢猫咪的的程序员   专栏:《Linux》 喜欢的话:世间因为少年的挺身而出,而更加瑰丽。                                  ——《人民日报》 目录  1.什么是vim 1.1什么是vim 1.2vim和vi的区别:  2.vim基础  2.1vim是否安装 2.2vim的模式 2.3上下左右移动 2.4缓冲区

    2024年02月02日
    浏览(42)
  • Linux开发工具之vim工具的使用介绍

    目录 前言 1.vim的基本概念  命令模式(Normal mode) 插入模式(Insert mode) 末行模式(last line mode) 2.vim的基本操作  命令模式的命令集  移动光标 ​编辑 删除文字 复制 替换  撤销操作 更改 vim末行模式命令集 简单vim配置 总结 大家好呀,许久未和大家见面了,前段时间由于期末考试

    2024年02月15日
    浏览(37)
  • 开发工具-网络测试工具 POSTMAN 的脚本使用

    POSTMAN 是网络编程中最常用的接口测试工具之一,能够使用脚本进行连续的自动测试。这里是以本地应用版为基础环境。 参考资料: Postman接口自动化测试 postman 可以在发送请求前使用脚本进行预处理,收到响应后使用脚本进行测试。 脚本的一些测试过程可以使用类似浏览器

    2024年02月13日
    浏览(37)
  • 鸿蒙应用开发学习|基础环境和开发工具

    第一章 HarmonyOS是什么 第二章 基础环境和开发工具 HUAWEI DevEco Studio是基于IntelliJ IDEA Community开源版本打造,面向全场景多设备,提供一站式的应用/服务集成开发环境(IDE),支持分布式多端开发、分布式多端调测、多端模拟仿真,提供全方位的质量与安全保障。 高效智能代码

    2024年01月22日
    浏览(37)
  • 大模型开发05:PDF 翻译工具开发实战

    机器翻译是最广泛和基础的 NLP 任务 PDF-Translator PDF 翻译器是一个使用 AI 大模型技术将英文 PDF 书籍翻译成中文的工具。这个工具使用了大型语言模型 (LLMs),如 ChatGLM 和 OpenAI 的 GPT-3 以及 GPT-3.5 Turbo 来进行翻译。它是用 Python 构建的,并且具有灵活、模块化和面向对象的设计。

    2024年02月10日
    浏览(31)

觉得文章有用就打赏一下文章作者

支付宝扫一扫打赏

博客赞助

微信扫一扫打赏

请作者喝杯咖啡吧~博客赞助

支付宝扫一扫领取红包,优惠每天领

二维码1

领取红包

二维码2

领红包