检查 AUTOSAR 接收器接口是否存在缺失的错误端口
检查 ID:mathworks.misra.AutosarReceiverInterface
找出没有匹配错误端口的 AUTOSAR 接收器接口输入端口。
描述
遵循此检查的建议可以提高为嵌入式应用程序生成符合 MISRA C:2012 和 MISRA C:2023 标准的代码的可能性。检查标志 AUTOSAR 接收器接口的输入端口是否存在错误端口。下表列出了当相应的错误端口缺失时,检查会标记的接收器接口端口的 AUTOSAR 数据访问模式类型。
| AUTOSAR 数据访问模式类型 | 已标记? |
|---|---|
ImplicitReceive | 是 |
ExplicitReceive | 是 |
QueuedExplicitReceive | 否 |
ErrorStatus | 否 |
ModeReceive | 否 |
IsUpdated | 否 |
EndToEndRead | 是 |
ExplicitReceiveByVal | 否 |
otherwise | 否 |
如果使用 Polyspace® 注解证明存在错误,则检查不会标记缺失的错误端口。运行检查时,带申述的模块表会列出申述的缺失错误端口。
适用于 Embedded Coder® 和 Simulink® Check™。
结果和建议的操作
| 条件 | 建议的操作 |
|---|---|
AUTOSAR 接收器接口输入端口没有匹配的错误端口。 | 添加缺失的错误端口并映射到相应的 AUTOSAR 接收器接口输入端口。 |
当数据访问模式为 ImplicitReceive、ExplicitReceive 或 EndToEndRead 时,AUTOSAR 接收器接口端口没有匹配的错误端口。 | 添加缺失的错误端口并映射到相应的 AUTOSAR 接收器接口输入端口。 |
功能和限制
您可以:
分析顶层/根级模型。
将模块和图从此检查中排除(如果您拥有 Simulink Check 许可证)。
另请参阅
MISRA C:2012,指令 4.7
MISRA C:2023,指令 4.7
MISRA C (Embedded Coder)
为代码添加注解并隐藏已知或可接受的结果 (Polyspace Bug Finder)
Configure AUTOSAR Elements and Properties (AUTOSAR Blockset)
AUTOSAR 组件配置 (AUTOSAR Blockset)