未实现的 AUTOSAR 可运行实体
未找到实现 AUTOSAR 可运行实体的函数
描述
此检查用于确定是否已通过源代码中的某个函数实现 ARXML 规范中指定的 AUTOSAR 可运行实体。只有未找到对应的函数时，此检查才会显示结果。
您可以通过规范链接从结果导航至可运行实体规范。
此检查仅在您基于AUTOSAR ARXML 规范运行 Code Prover 分析时启用，无论是通过 Polyspace® 用户界面还是使用 polyspace-autosar 命令。有关详细信息，请参阅Run Polyspace on AUTOSAR Code。
结果信息
| 组：其他 |
| 语言：C |
| 缩写：AUTOSAR_NOIMPL |
版本历史记录
在 R2018a 中推出
