13、在AUTOSAR代码上运行Polyspace

在AUTOSAR代码上运行Polyspace

1. 概述

Polyspace for AUTOSAR可对AUTOSAR软件组件的代码实现进行静态程序分析，以查找可能的运行时错误或与AUTOSAR XML（ARXML）规范的不匹配之处。要在AUTOSAR软件组件的代码实现上运行Polyspace，需要提供以下信息：
- ARXML文件夹 ：包含定义AUTOSAR模型的所有.arxml文件，这些文件指定了数据类型、可运行实体、事件以及AUTOSAR模型中软件组件的其他信息。需注意，Polyspace仅能解析4.0及更高版本的AUTOSAR XML架构。
- 源代码文件夹 ：包含软件组件的C代码实现，其中的.c文件包含实现AUTOSAR可运行实体的函数和其他被调用函数，该文件夹也可包含源文件中引用的头文件。若引用的头文件位于其他文件夹，可单独提供其位置。

分析过程会解析ARXML文件、读取源文件，并为每个软件组件创建一个单独的模块来构建Polyspace项目。然后，Polyspace Code Prover会检查每个模块是否存在运行时错误或违反ARXML中数据约束的情况。

可以通过Polyspace桌面产品的用户界面或命令行来运行Polyspace：
- 用户界面 ：分析分两步进行，先从ARXML和代码文件夹创建Polyspace项目，再对项目运行Code Prover。
- 命令行 ：使用 polyspace-autosar 命令可一次性完成分析。