1、QAC静态测试常用操作

1、点击new project,新建工程。

选择工程保存的目录,其他保持默认即可。

2、配置编译器

根据工程选择相应的编译器配置文件,此处该示例选择的QAC通用平台的C语言配置文件

3、生成工程文件

点击finish完成编译器配置后,自动生成工程文件

4、配置工程特性

点击project,选择打开工程特性

将MISRA C 2012规范添加进来,也就是把m3cm添加进analysis toolchain。

available components里面保存的是各个编码规范的合规模块

点击rule configuration,可以打开或关闭MISRA的某些规则,也可以自定义制定规则。一般使用它默认的规则,不去做变更。

里面有MISRA的3类规则,分别是mandatory(强制遵循),required(违反规则需要制定流程去规避),advisory(违反规则做出记录即可)。

5、通过同步的方式添加被测源码

点击主页面project,选择synchronize

同步的原理:监测编译的过程,把编译过程中所调用的源码,头文件,宏定义都是同步添加到这个QAC工程里面。

点击同步按钮 ,此处我没有添加成功

选择点击QAC工程中的source files,直接添加被测源码所在目录,才添加成功。

6、分析工程

点击左上角的分析按钮

分析过程中,此时如果没有软件授权会导致分析失败。

下面Analysis results/diagnostics窗口会显示诊断的结果。

7、GUI中快速定位高风险代码

QAC把所有的诊断消息划为了0-8,共九个安全等级。数字越大,该诊断消息的安全等级越高,违反该高安全等级的规则对系统的影响越大。

可以通过滑块的移动来过滤掉低于选中数值以下的诊断消息。

对于下面的诊断消息,双击任一诊断消息,就可以定位到源码界面。

8、GUI中快速定位违反MISRA规则的代码

点击rule group分栏窗口

此处可以查看那些代码违反MISRA不同等级的规则。

选择某个规则,点击右键,选择show only,诊断信息框就会显示出违反该规则的所有文件,在诊断信息框中,选择一条信息双击,就会自动跳转到源码的对应行。

9、补充

如上图所示,某些规则显示灰色,原因是因为在选择MISRA规范时,默认只开启C99

开启C90和c11可以在某个规则上点击右键,选择enable,或者disable来打开和关闭该规则。

相关推荐
火云代理1 天前
同一个网站,有的网络能打开、有的打不开?认识 IPv4 与 IPv6 的访问差异
服务器·网络·网络协议·tcp/ip·测试工具·php·状态模式
freejackman5 天前
【工程化】从“单兵作战”到“多引擎架构”:基于门面模式的重构实战
大数据·数据库·hive·sql·测试工具·设计模式·架构
坐吃山猪5 天前
Python22-PostMan调试MCP
测试工具·postman·mcp
测试界的小码农6 天前
【 AI Agent 软件测试实战(05):任务规划与状态管理,让 Agent 学会拆解复杂测试任务】
人工智能·测试工具
五网7 天前
软件测试用例模板怎么写:从用例设计到执行记录的全套指南
软件测试·论文阅读·全文检索·测试用例·论文笔记·用例设计·用例模板
和粒科技8 天前
热重分析仪TG 309 Libra Classic
测试工具
雪碧聊技术11 天前
软件测试—如何区分静态测试、动态测试?如何区分白盒测试、黑盒测试?一文详解(保姆教程|附软考真题)
软件测试·静态、动态测试·白盒、黑盒测试
螺丝钉tina14 天前
[Playwright] [02]常用命令与调试:Debug UI、Mode和 Trace Viewer
开发语言·javascript·测试工具·ui·自动化
梧桐16815 天前
14天、31个缺陷、28个测试脚本—用 Claude Code 完成第三方软件测试
人工智能·测试工具
mewowaBc15 天前
postman使用细则
测试工具·postman·偏差