14、Polyspace分析AUTOSAR代码中的错误和警告解读

Polyspace分析AUTOSAR代码中的错误和警告解读

1. 基于组件的AUTOSAR代码验证方法

在验证AUTOSAR代码时，可采用基于组件的方法。Polyspace会对AUTOSAR XML（ARXML）规范进行解析，找出对应的代码实现，对代码进行编译，并开展静态分析，以此检测运行时错误或代码与规范之间的不匹配情况。若在这些步骤中出现错误，包含该错误的软件组件将不会显示分析结果。

1.1 ARXML规范解析错误类型

即便部分ARXML规范存在定义不明确的元素，分析仍会尝试使用临时替代方案继续进行，前提是代码实现可能未使用这些元素。不过，对于特定类型的问题，这种替代方案并不适用。ARXML提取阶段仅出现警告时，警告可分为以下两种类型：
- 无法创建替代方案的问题警告 ：例如，若事件调用了带有未定义端口的可运行对象，分析将无法对该事件进行建模。
- 使用降级替代方案继续分析的问题警告 ：例如，若可运行对象或RTE API函数中使用的数据类型未定义，分析将使用降级的数据类型继续进行。

1.2 示例文件结构

使用位于 polyspaceroot\help\toolbox\codeprover\examples\troubleshooting_polyspace_autosar 的示例文件，其文件结构如下：
- 根文件夹 src ：包含两个选项文件。
- options_ko.txt ：选择 <