在 Eclipse 中配置 Polyspace as You Code
在开始您的首次分析之前,请配置 Polyspace® as You Code 插件。通过配置该插件,您可以自定义您的工作站和分析预设项。该插件会在不同会话之间保留设置。
在本教程中,您将执行以下操作:
手动配置编译。
自动将文件添加到质量监控列表中。
设置保存时自动分析文件。
配置 Polyspace 检查项。
查看头文件检查结果。
配置分析脚本。
在 Eclipse™ 中打开文件。转至窗口 > 透视 > 打开透视 > Polyspace as You Code,打开 Polyspace as You Code 透视。该透视包含多个不同窗格,例如质量监控、配置和基线。
手动配置您的编译
您可以选择手动配置您的编译。手动设置分析包括指定编译选项。您可以从编译命令、Eclipse C/C++ 工程或 JSON 编译数据库文件中提取编译选项,或者在 Polyspace 编译选项文件中指定它们。
点击配置窗格中的预设项图标
或转至窗口 > 预设项 > Polyspace as You Code > 分析。
选择如何使用编译设置(位于分析设置:手动设置下)提供选项文件。要提供选项文件的路径,请使用同一文件类型的相关选项。例如,如果您的选项文件是 JSON 编译数据库文件,请选择从 JSON 编译数据库文件获取并输入文件路径。
对于本教程,请将编译设置为不需要编译选项文件。
有关编译选项的详细信息,请参阅Configure Analysis Settings。
自动将文件添加到质量监控列表中
Polyspace 提供了一个质量监控列表来跟踪已编辑的文件。Polyspace 可以同时分析质量监控列表中的所有文件。您可以选择让 Polyspace 自动将文件添加到质量监控列表中或手动添加文件。
要在保存文件时自动将文件添加到质量监控列表,请选择保存时添加到质量监控列表。
要手动将文件添加到质量监控列表,请在文件编辑器内右键点击并选择将文件添加到 Polyspace 质量监控列表中。
在本例中,请选择自动将文件添加到质量监控列表中。点击配置窗格中的预设项图标 ,并选中保存时添加到质量监控列表复选框。
自动分析文件
在保存文件时,Polyspace 可以自动对质量监控列表中的所有文件运行分析。另外,您还可以手动对单个文件或一组文件运行分析。
您可以通过以下方式手动触发分析:
在质量监控列表中选择文件,然后点击“运行 Polyspace 分析”按钮
。
在文件编辑器中右键点击并选择运行 Polyspace 分析。
启用自动化文件分析。点击配置窗格中的预设项图标 ,并选中保存时开始分析复选框。
配置 Polyspace 检查项
Polyspace 将针对一组默认的检查项进行检查。您可以自定义这组标准和缺陷,以检查特定的认证标准。请使用预设项选项检查项文件为您的工程设置检查项 XML 文件。
为您的工程启用 AUTOSAR C++14 检查项。在配置窗格中,点击配置检查项图标 以打开检查项选择窗口。
您可以创建、保存检查项选择文件,并打开已保存的检查项选择文件。有关详细信息,请参阅Configure Checkers for Polyspace as You Code in Eclipse。
点击检查项选择窗口的左侧窗格中的 AUTOSAR C++14。在右侧窗格中,选中全部复选框以启用所有 AUTOSAR C++14 规则。点击右上角的保存更改以保存您的检查项选择,然后关闭窗口以返回到 Eclipse 应用程序。
查看头文件检查结果
您可以像对待源文件一样对头文件运行分析,只需将它们添加到质量监控列表并运行分析即可。
手动将 example.hpp
头文件添加到质量监控列表中,并通过点击“运行 Polyspace 分析”按钮 启动分析。
配置分析脚本
您可以提供一个脚本,以在 Polyspace as You Code 中配置和运行 Polyspace 分析。
对于本教程,您无需设置脚本。
如果您有脚本,请点击配置窗格中的预设项图标 并选择分析。对于选项分析设置,请选择
Script
。通过点击浏览并打开您的脚本,在脚本文件选项下提供脚本路径。
配置 Polyspace as You Code 插件后,即可运行分析并审查结果。