对 AUTOSAR 代码进行 Code Prover 分析

R2026a

验证 AUTOSAR 软件组件的代码实现

如果您使用 AUTOSAR 方法进行软件开发，则可以重用 AUTOSAR 规范（ARXML 文件）来设置您的 Polyspace^® 分析并验证 AUTOSAR 软件组件的代码实现。或者，您也可以运行可感知 AUTOSAR 的集成分析。

验证会检查特定于 AUTOSAR 的问题和其他运行时错误，如溢出和除以零。

Polyspace 选项

使用的库 (-library) Specify libraries that you use in your program

polyspaceAutosar Run Polyspace Code Prover on code implementation of AUTOSAR software components using MATLAB scripts

polyspace-autosar (System Command) Run Polyspace Code Prover on code implementation of AUTOSAR software components

`未实现的 AUTOSAR 可运行实体`	未找到实现 AUTOSAR 可运行实体的函数
`无效的 AUTOSAR 可运行实体实现结果`	Return value or output arguments violate AUTOSAR specifications
`无效的 AUTOSAR 运行时环境函数使用`	RTE function argument violates AUTOSAR specifications
`不符合 AUTOSAR 规范`	RTE API function is used with arguments that violate the AUTOSAR standard specification

Using Polyspace in AUTOSAR Software Development

Learn about the various workflows for using Polyspace in AUTOSAR software development.
- Choose Between Component-Based and Integration Analysis of AUTOSAR Code with Polyspace
Benefits of Polyspace for AUTOSAR
Polyspace modularizes code based on AUTOSAR software components and checks for run-time errors or violation of ARXML data constraints.
Run Polyspace on AUTOSAR Code

Check code implementation of AUTOSAR software components for run-time errors or violation of ARXML data constraints.
Review Polyspace Results on AUTOSAR Code
Interpret Polyspace results that highlight violation of ARXML data constraints.