polyspace-autosar エラーの解決:データ型が認識されない

問題

AUTOSAR 記述から Polyspace® プロジェクトを作成するときに、ソフトウェアは AUTOSAR XML 仕様を解析し、検証のスコープに含まれるソフトウェア コンポーネントで必要なデータ型をインポートします。コードでソフトウェア コンポーネント仕様に含まれないデータ型が使用されている場合、解析でそのデータ型が認識されません。

次のようなエラーが表示されます。

Identifier "LaneDetectionVar" is undefined
これは、AUTOSAR XML ファイルとソース ファイルから Polyspace プロジェクトを作成する際に発生します。このエラーは、ソース コードで使用されるデータ型が認識されていないことを示します。

考えられる解決策

検証しているソフトウェア コンポーネントに対して定義されていないデータ型のインポートを強制できます。オプション -autosar-datatype を使用します。polyspace-autosar を参照してください。

プロジェクト フォルダーの AUTOSAR サブフォルダーに含まれるファイル autosar_model_key_elements.html を使用して事前にインポートされたデータ型を見つけることができます。HTML ファイルの DataTypes セクションで、以下の内容が示されます。

  • この形式を使用して自動的にインポートされたデータ型:

    indirectpkg.types.app.Array_2_n320to320
    indirectpkg.types.app.Boolean

    最初の列のテキスト indirect は、データ型が自動的にインポートされていることを示します。

  • この形式を使用して明示的にインポートされたデータ型:

    nametst003.typ.app.Boolean

    最初の列のテキスト name は、データ型 tst003.typ.app.Boolean が解析用に明示的にインポートされていることを示します。

場合によっては、解析で、ARXML からインポートされた追加のデータ型を認識されないデータ型に一致するものとして使用する解決のヒントが提示されます。解決のヒントを表示するには、ファイル psar_project.xhtml で、左上にある navigation button ボタンをクリックし、[Behaviors] をクリックします。[Behaviors] タブで、コード抽出段階のエラーの下にあるリンクをクリックすると、解決のヒントを含むコード抽出診断の概要が表示されます。

Code extraction errors followed by summary link

解決のヒント (追加できるデータ型) を確認して、認識されないデータ型に関する問題のいくつかを解決できます。

解決のヒントを使用して個々のコード抽出エラーを修正する代わりに、ヒントを実装するすべてのオプションを含むファイルをダウンロードすることもできます。概要ページで、リンク [Download polyspace-autosar options] をクリックします。

Location of link to download options that implement resolution hints

ダウンロードしたテキスト ファイルを polyspace-autosar のオプション -options-file とともに使用すると、解決のヒントを一度に実装できます。

参考

トピック