12、Polyspace在AUTOSAR软件开发中的应用指南

Polyspace在AUTOSAR软件开发中的应用指南

1. 结果上传与查看

如果在远程服务器上运行验证，可以指定在验证后将所有结果上传到Polyspace Access，也可以稍后上传。具体操作步骤如下：
1. 上传结果 ：将所有结果上传到Polyspace Access，上传时要确保所有结果使用相同的项目名称和版本号。
2. 查看结果摘要 ：在Polyspace Access中，点击项目资源管理器中的项目名称，即可查看结果摘要。

此外，也可以向供应商索取代码分析报告，这些报告是为每个软件组件单独生成的。

2. 评估规范编辑的影响

此检查仅在基于组件的分析中受支持。假设作为原始设备制造商（OEM）的一员，想要添加或编辑提供给一级供应商的规范。在进行编辑之前，需要测试这些更改对现有代码实现的潜在影响。具体步骤如下：
1. 使用原始规范运行Polyspace ：运行Polyspace以获取使用原始规范的分析结果。
2. 上传结果 ：将软件组件的结果上传到Polyspace Access。
3. 使用更新后的规范重新运行Polyspace ：获取使用更新后规范的分析结果。
4. 上传新结果 ：将新的结果上传到Polyspace Access。
5. 比较结果 ：查看红色、灰色或橙色检查的数量是否增加。

3.