パッケージ化されたオプションファイルを使用した、生成されたコードに対する Polyspace 解析の実行

Simulink^® ツールストリップから直接 Polyspace^® 解析を開始する場合、その解析では、設計の範囲などのモデル固有のコンテキストが考慮されます。Simulink 外部から Polyspace 解析を実行する場合、オプションファイルを使用してモデル固有の情報を指定しなければなりません。これらのオプションファイルを作成する代わりに、関数 polyspacePackNGo によって生成されパッケージ化されたオプションファイルを使用します。

Simulink 外部から Polyspace 解析を実行する際に Simulink モデルコンテキスト情報を保持することは、さまざまな状況において有用となる可能性があります。次に例を示します。

分散ワークフローでは次のようになります。Simulink ユーザーは、モデルからコードを生成して、そのコードを別の開発環境に送ります。この環境で、Simulink を保有していない可能性のある Polyspace ユーザーが、生成されたコードを別個に解析します。パッケージ化されたオプションファイルを使用することで、設計範囲や他のモデル固有の情報が Polyspace 解析で保持されます。
Simulink で使用できない解析オプションには次のものがあります。Polyspace の一部の解析オプションは、Polyspace 解析が Simulink とは別に実行される場合にのみ使用可能です。パッケージ化されたオプションファイルを使用して、モデル固有の情報を保持したまま Polyspace 解析を別個に実行します。たとえば、パッケージ化されたオプションファイルを使用して、生成されたコードで Polyspace 解析を実行して、生成されたコード内の同時スレッドを解析します。

polyspacePackNGo を実行するには Simulink がなければなりません。Simulink モデルからオプションファイルを生成するのに Polyspace は必要ありません。関数 polyspacePackNGo は、Embedded Coder^® および TargetLink^® で生成されたコードをサポートします。polyspacePackNGo の使用に関するチュートリアルについては、分散ワークフローでスタンドアロンコードとして生成されたコードの解析を参照してください。

Polyspace オプションファイルの生成とパッケージ化

Simulink モデルから生成されたコードの解析用の Polyspace オプションファイルを生成してパッケージ化するには、polyspacePackNGo を使用します。

Simulink エディターで [コンフィギュレーションパラメーター] ダイアログボックスを開いて、コード生成のためにモデルを構成します。
Polyspace との互換性があるようにモデルを構成するには、[システムターゲットファイル] として ert.tlc を選択します。
コードアーカイブの生成を有効にするには、オプション [コードとアーティファクトのパッケージ化] を選択します。オプションで、フィールド [Zip ファイル名] にオプションパッケージの名前を入力します。コードにカスタムコードブロックが含まれている場合は、[コード生成]、[カスタムコード] ペインで [シミュレーションターゲットと同じカスタムコードの設定を使用] を選択します。
または、MATLAB^® コマンドウィンドウで次のように入力します。
```
% Configure the Simulink model mdlName for code generation
configSet = getActiveConfigSet(mdlName);
set_param(configSet, 'PackageGeneratedCodeAndArtifacts', true);
set_param(configSet, 'PackageName', 'CodeArchive.zip');
set_param(configSet, 'SystemTargetFile', 'ert.tlc');
set_param(configSet,'RTWUseSimCustomCode','on');
```
コードアーカイブを生成します。
- 最上位モデルからスタンドアロンの生成コードのアーカイブを生成するには、関数 slbuild を使用します。
- モデル参照としてコードを生成するには、関数 slbuild を使用します。モデル参照としてコードを生成した後、関数 packNGo (Embedded Coder) を使用してコードアーカイブを作成します。
- または、TargetLink を使用してコードを生成できます。生成されたコードを zip ファイルにアーカイブしてコードアーカイブを作成します。
Polyspace オプションファイルを生成してパッケージ化するには、MATLAB コマンドウィンドウで関数 polyspacePackNGo を使用します。
```
zipFile = polyspacePackNGo(mdlName);
```
Polyspace オプションファイルの生成とパッケージ化を参照してください。
TargetLink を使用してコードを生成する場合は、TargetLink サブシステム名を polyspacepacknGo の入力引数として使用します。
オプションで、pslinkoptions オブジェクトを 2 番目の引数として使用して、Polyspace 解析の既定のモデルコンフィギュレーションを変更できます。pslinkoptions オブジェクトを作成して、モデルコンフィギュレーションを変更し、アーカイブを作成する際のオブジェクトを指定します。
```
psOpt = pslinkoptions(mdlName);
psOpt.InputRangeMode = 'FullRange';
psOpt.ParamRangeMode = 'DesignMinMax';
zipFile = polyspacePackNGo(mdlName,psOpt);
```
特定の Polyspace 解析オプションをもつ Polyspace オプションファイルのパッケージ化を参照してください。
オプションの 3 番目の引数を使用して、モデル参照として生成されたコード向けの Polyspace オプションファイルを生成してパッケージ化するかどうかを指定します。関数 slbuild を使用してモデル参照としてコードを生成したとします。そのコード向けの Polyspace オプションを生成してパッケージ化するには、MATLAB コマンドウィンドウで次のように入力します。
```
zipFile = polyspacePackNGo(mdlName,[],true);
```
モデル参照として生成されたコードの Polyspace オプションファイルのパッケージ化を参照してください。
関数 polyspacepackNGo は、オプションファイルを含むアーカイブの絶対パスを返します。ファイルはアーカイブフォルダー階層内の polyspace フォルダーにあります。polyspace フォルダーの内容は関数 polyspacePackNGo の入力によって変わります。
- オプションの 2 番目と 3 番目の引数を指定しない場合、フォルダー polyspace は次のオプションファイルをフラットな階層で含んでいます。
  - optionsFile.txt:このファイルは、生成されたコードの Polyspace を使用した解析に必要なソースファイル、インクルードファイル、データの範囲の指定、および解析オプションを指定します。コードにカスタム C コードが含まれている場合、このファイルはカスタムソースファイルとヘッダーファイルの相対パスを指定します。
  - modelname_drs.xml:このファイルはモデルの設計範囲指定を指定します。
  - linksData.xml:このファイルは生成されたコードをモデルのコンポーネントにリンクします。
- psOpts.ModelbyModelRef = true を指定する場合、対応するオプションファイルがすべての参照モデルについて生成されます。これらのオプションファイルは、コードアーカイブ内の polyspace_<referenced model name> という名前の別個のフォルダーに格納されます。フォルダー polyspace には最上位モデルのオプションファイルが含まれます。

パッケージ化されたオプションファイルを使用した Polyspace 解析の実行

コードアーカイブと Polyspace オプションファイルが生成されると、そのアーカイブを使用して、Simulink のない別の開発環境で生成されたコードに対して Polyspace 解析を実行できます。

コードアーカイブを解凍して polyspace フォルダーを見つけます。
Windows^® または Linux^® のコマンドラインで次を実行します。productname -options-file optionsFile.txt -results-dir resultdir
- productname は次のいずれかに対応します。polyspace-bug-finder、polyspace-code-prover、polyspace-bug-finder-server、または polyspace-code-prover-server。
- resultdir は Polyspace の結果の場所に対応します。この引数はオプションです。
生成コードを Simulink モデルとリンクするには、ファイル linksData.xml が必要です。ファイル linksData.xml がオプションファイルアーカイブに生成されていない場合は、Polyspace デスクトップのユーザーインターフェイスでオプション [コードジェネレーターのサポート] を使用して、コードのどのコメントが Simulink モデルへのリンクとして動作するかを指定します。Polyspace デスクトップのユーザーインターフェイスで [ツール] 、 [基本設定] を選択し、[その他] タブを見つけます。コンテキストメニュー [コードからモデルへのリンクとして機能するコードコメント] から使用したコードジェネレーターを選択します。[ユーザー定義] を選択する場合は、[コメントを開始] フィールドに接頭辞を指定することで、コードからモデルへのリンクとして機能するコメントを指定します。たとえば、接頭辞を //Link_to_model として指定する場合、Polyspace は //Link_to_model で始まるコメントをモデルへのリンクとして解釈します。
Polyspace Access を使用して結果を表示する場合は、Polyspace の結果と同じフォルダーにファイル linksData.xml をアップロードします。ファイル linksData.xml がない場合や Polyspace の結果フォルダー外にファイルをアップロードした場合、コードを Simulink モデルとリンクすることはできません。
結果を確認するには、Polyspace Access にアップロードして、結果を Web ブラウザーで表示します。または、Polyspace デスクトップ製品のユーザーインターフェイスを使用して結果を表示します。

参考

polyspacePackNGo | slbuild | packNGo (Embedded Coder)