このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

AUTOSAR コードの Code Prover 解析

AUTOSAR ソフトウェア コンポーネントのコード実装を検証する。

ソフトウェア開発に AUTOSAR の方法論を使用する場合、AUTOSAR の仕様 (ARXML ファイル) を再利用して、Polyspace® 解析を設定し、AUTOSAR ソフトウェア コンポーネントのコード実装を検証することができます。または、AUTOSAR 対応統合解析を実行できます。

検証では、AUTOSAR 固有の問題と、オーバーフローやゼロ除算などのその他のランタイム エラーがチェックされます。

Polyspace オプション

使用するライブラリ (-library)プログラムで使用するライブラリの指定

関数

polyspaceAutosarMATLAB スクリプトを使用して AUTOSAR ソフトウェア コンポーネントのコード実装に対して Polyspace Code Prover を実行

システム コマンド

polyspace-autosar(システム コマンド) AUTOSAR ソフトウェア コンポーネントのコード実装に対する Polyspace Code Prover の実行

Polyspace 結果

AUTOSAR ランナブルが実装されていませんAUTOSAR ランナブルを実装する関数が見つからない
AUTOSAR ランナブルの実装の無効な結果戻り値または出力引数が AUTOSAR 仕様に違反している
AUTOSAR のランタイム環境関数の無効な使用RTE 関数の引数が AUTOSAR 仕様に違反している
AUTOSAR 仕様に非準拠RTE API 関数が、AUTOSAR 規格仕様に違反する引数を指定して使用されている

トピック

トラブルシューティング

関連情報