polyspace-autosar エラーの解決:インクルード ファイルが見つからない
問題
AUTOSAR 記述から Polyspace® プロジェクトを作成するときに、ソフトウェアは、既定で、#include によってインクルードされたファイルの検索をソース フォルダーのみで行います。ソース フォルダー直下にインクルード ファイルが存在しない場合、Polyspace はインクルード フォルダーを見つけることができません。たとえば、欠落しているインクルード ファイルがソース フォルダーのサブフォルダーに含まれている可能性があります。
AUTOSAR XML ファイルとソース ファイルから Polyspace プロジェクトを作成する際に次のような警告が表示されます。
Could not find include file "MemMap.h"
この欠落しているインクルード ファイルで宣言されている変数または関数を使用する場合、後でエラーが表示される可能性もあります。
考えられる解決策
インクルード ファイルの検索パスを拡張する場合は、新しいフォルダーを明示的に追加します。
Polyspace ユーザー インターフェイスで、フィールド [追加のインクルード フォルダーを指定] を使用します。
AUTOSAR コードに対する Polyspace の実行を参照してください。
コマンド ラインで、オプション
-Iを使用します。polyspace-autosarを参照してください。
追加できるインクルード フォルダーは、いくつかの方法で見つけることができます。
インクルード ファイルがソース コード フォルダーのサブフォルダー内にある場合、解析では、見つからないインクルード ファイルがある可能性のある 1 つ以上のインクルード フォルダーを示す解決のヒントが提示されます。解決のヒントを表示するには、ファイル
psar_project.xhtmlで、左上にある
ボタンをクリックし、[Behaviors] をクリックします。[Behaviors] タブで、コード抽出段階のエラーの下にあるリンクをクリックすると、解決のヒントを含むコード抽出診断の概要が表示されます。
解決のヒント (追加できるインクルード フォルダー) を確認して、見つからないインクルード ファイルのいくつかを解決できます。
解決のヒントを使用して個々のコード抽出エラーを修正する代わりに、ヒントを実装するすべてのオプションを含むファイルをダウンロードすることもできます。概要ページで、リンク [Download polyspace-autosar options] をクリックします。
ダウンロードしたテキスト ファイルを
polyspace-autosarのオプション-options-fileとともに使用すると、解決のヒントを一度に実装できます。コンパイルにビルド コマンドを使用する場合は、ビルド コマンドからインクルードへのパスなどのコンパイル オプションを抽出できます。ビルド コマンドを使用した AUTOSAR コードに対する Polyspace の実行を参照してください。
システムのアーキテクチャに関する情報を利用して、見つからないインクルード フォルダーを見つけることもできます。
