分散ワークフローでスタンドアロンコードとして生成されたコードの解析

関数 polyspacepackNGo を使用して Simulink^® モデルから Polyspace^® オプションファイルを生成してパッケージ化します。これらのオプションファイルを使用して、設計範囲指定などのモデル固有の情報を使用する生成されたコードについて、Simulink を必要とすることなく Polyspace 解析を実行します。

分散解析用のモデルを開く

スクリプトを開く

モデル demo_math_operations は、モデルの入力に対してさまざまな数学演算を実行します。モデルにはカスタムの C コードを実行する C Function ブロックがあります。モデルには C 関数 GMean を呼び出す C Caller ブロックもあります。これはソースファイル GMean.c で実装されています。コード生成と Polyspace オプションファイルのパッケージ化のためにモデルを開くには、現在のトピックを検索し、[モデルを開く] ボタンをクリックします。または、MATLAB® コマンドウィンドウで、次のコードを貼り付けて実行します。

openExample('sl_poly_bf_poly_code_prover/OpenModelForPolyspacePackNGoExample');
open_system('demo_math_operations');

モデルの設定

コードの生成と Polyspace オプションファイルのパッケージ化のためにモデルを構成するには、次のコンフィギュレーションパラメーターを指定します。

生成されるコードを含むアーカイブを作成するには、'PackageGeneratedCodeAndArtifacts' を true に設定します。
コードアーカイブの名前を指定します。たとえば、名前を genCodeArchive.zip に設定します。
コード生成中に [シミュレーションターゲット] で指定されたカスタムコード設定を使用するには、'RTWUseSimCustomCode' を 'on' に設定します。
モデルと生成されたコードが Polyspace と互換性があるようにするには、ert.tlc をシステムターゲットファイルとして設定します。Polyspace 解析で推奨されるモデルコンフィギュレーションパラメーター (Polyspace Bug Finder)を参照してください。

コマンドウィンドウまたはエディターで次のパラメーター構成を入力します。

configSet = getActiveConfigSet('demo_math_operations');
set_param(configSet, 'PackageGeneratedCodeAndArtifacts', true);
set_param(configSet, 'PackageName', 'genCodeArchive.zip');
set_param(configSet, 'SystemTargetFile', 'ert.tlc');
set_param(configSet,'RTWUseSimCustomCode','on')

コードアーカイブの生成

生成されたコードを格納するフォルダーを指定します。コード生成を開始するには、コマンドウィンドウまたはエディターで次のように入力します。

codegenFolder = 'demo_math_operations_ert_rtw';
if exist(fullfile(pwd,codegenFolder), 'dir') == 0
    slbuild('demo_math_operations')
end

PackageGeneratedCodeAndArtifacts は true に設定されているため、生成されたコードはアーカイブ genCodeArchive.zip に挿入されます。

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

生成されたコード向けの Polyspace オプションを生成するには、コマンドウィンドウまたはエディターで次のように入力します。

zipFile = polyspacePackNGo('demo_math_operations');

アーカイブ genCodeArchive.zip で、フォルダー <current folder>/polyspace でオプションファイルを見つけます。

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

コードアーカイブ genCodeArchive.zip を解凍して <current folder>/polyspace フォルダーを見つけます。
コマンドラインターミナルを開いて、cd コマンドを使用して、解凍されたフォルダーの polyspace サブフォルダーに作業フォルダーを変更します。
Polyspace 解析を開始します。
- デスクトップ Polyspace 解析を実行するには、polyspace-code-prover または polyspace-bug-finder のいずれかを使用します。サーバーで Polyspace 解析を実行するには、polyspace-bug-finder-server または polyspace-code-prover-server のいずれかを使用します。Polyspace の Bug Finder と Code Prover とではコードの解析方法が異なります。Polyspace Bug Finder と Polyspace Code Prover の違い (Polyspace Bug Finder)を参照してください。
- ファイル optionsFile.txt を -options-file の引数として指定します。
Code Prover 解析を実行するには次のコマンドを実行します。polyspace-code-prover -options-file optionsFile.txt -results-dir Results
Results フォルダーに生成されるログファイルで解析の進行状況を確認します。
デスクトップユーザーインターフェイスで結果を表示するには、コマンドラインインターフェイスで次を入力します。polyspace Results\ps_results.pscpps_results ファイルの拡張子は、実行するのが Code Prover 解析か Bug Finder 解析かによって変わります。結果にはさまざまなオレンジチェックが含まれます。

または、結果を Polyspace Access にアップロードします。結果を Polyspace Access にアップロード (Polyspace Bug Finder)を参照してください。
結果を確認します。詳細については、バグ修正またはコメントによる結果への対処 (Polyspace Bug Finder)を参照してください。

参考

polyspacePackNGo | slbuild | packNGo (Embedded Coder)