AUTOSAR ランナブルが実装されていません
AUTOSAR ランナブルを実装する関数が見つからない
説明
このチェックでは、ARXML 仕様で指定されている AUTOSAR ランナブルが、ソース コード内で関数を使用して実装されているかどうかを判別します。このチェックは関数が見つからない場合のみ結果を表示します。
仕様のリンクを通じて、結果からランナブル仕様に移動できます。
このチェックが有効になるのは、Polyspace® ユーザー インターフェイスで、または polyspace-autosar コマンドを使用して、AUTOSAR ARXML 仕様に基づく Code Prover 解析を実行する場合のみです。詳細については、AUTOSAR コードに対する Polyspace の実行を参照してください。
結果情報
| グループ: Other |
| 言語: C |
| 頭字語: AUTOSAR_NOIMPL |
バージョン履歴
R2018a で導入
