コード生成の仮定のチェック

コードジェネレーターは、モデルのハードウェア実装設定などに依存する仮定を実装します。仮定がターゲットハードウェアに対して有効であることをチェックすることが重要です。関数 buildStandaloneCoderAssumptions (Embedded Coder) を使用して、ターゲットハードウェアで仮定のチェックを実行するアプリケーションを作成します。

モデルを構成する場合は、ターゲットハードウェアに一致するハードウェア実装とビルド構成設定を指定してください。次に、ターゲットハードウェアに対するコードジェネレーターの仮定をチェックするには、次のワークフローを使用します。

GenerateReport を 'on' に設定して、モデルをビルド (Ctrl+B) します。
チェックできるコードジェネレーターの仮定のリストを表示するには、コード生成レポートを開き、[Coder Assumptions] リンクをクリックします。
詳細については、コーダー仮定リストを参照してください。
buildStandaloneCoderAssumptions を実行します。これにより、ビルドフォルダーで生成されたコードを使用して、コード生成の仮定のチェックを実行するアプリケーションが作成されます。
アプリケーションをターゲットハードウェアまたはターゲット環境にダウンロードしてから、アプリケーションを実行します。
アプリケーションを実行中に、デバッグツールを使用して、データ構造体内のチェック結果を表示します。

開発用コンピューターに対するコードジェネレーターの仮定のチェック

ターゲットハードウェアが、たとえば Windows^® 開発用コンピューターである場合は、Microsoft^® Visual Studio^® を使用してアプリケーションを実行およびデバッグできます。

モデルを開くには、コマンドウィンドウで次のように入力します。

openExample('ecoder/SILPILVerificationExample', ...
             supportingFile='SILTopModel.slx')

[モデルコンフィギュレーションパラメーター] ダイアログボックスの [ハードウェア実行] ペインで、ターゲットハードウェアに合う設定を指定します。たとえば、64 ビットの Windows コンピューターでは、以下のパラメーター設定を指定します。
- デバイスベンダー –– Intel
- デバイスタイプ –– x86-64 (Windows 64)
モデルコンフィギュレーションパラメーター [移植可能なワードサイズを有効にする] をオフにします。
モデルをビルド (Ctrl+B) します。
コードジェネレーターの仮定のリストを表示するには、コード生成レポートを開き、[コード生成の前提] リンクをクリックします。
コマンドウィンドウから、作業フォルダーで、以下を実行します。
```
buildStandaloneCoderAssumptions('SILTopModel_ert_rtw')
```
ビルドフォルダーには、関数によって、ターゲットアプリケーション SILTopModel_ca を含む coderassumptions\standalone サブフォルダーが作成されます。
Microsoft Visual Studio を開き、[ファイル] 、 [開く] 、 [プロジェクト/ソリューション] を選択します。
[プロジェクトを開く] ダイアログボックスで、coderassumptions\standalone サブフォルダーに移動し、SILTopModel_ca を選択します。次に、[開く] をクリックします。
[ファイル] 、 [開く] 、 [ファイル] を選択します。[ファイルを開く] ダイアログボックスを使用して、coderassumptions\standalone\SILTopModel_ca.c を選択します。
return ステートメントに、ブレークポイントを挿入します。
[デバッグ] 、 [Start Debugging] を選択します。
コードジェネレーターの仮定を検証するには、監視ウィンドウを使用して Results データ構造体を検証します。
1. SILTopModel_ca.c コードで、Results を右クリックします。
2. コンテキストメニューから [Add Watch] を選択します。

データ構造体の変数には次が含まれます。

チェックの結果 (TestResults)
ターゲットハードウェアの真理値 (ActualValues)
コードジェネレーターの仮定 (ExpectedValues)

たとえば、bitsPerChar のコードジェネレーターの仮定が正確な場合、変数 status に CA_PASS 値が表示されます。

コーダー仮定リスト

コード生成レポートの目次セクションには、[Coder Assumptions] ページへのリンクがあります。このページには、以下のリストがあります。

チェックできるコード生成の仮定
予想された仮定チェックの結果

以下の表はリストに表示されるラベルの説明です。

カテゴリ	ラベル	チェックできる仮定
ターゲットハードウェアまたは開発用コンピューターの C/C++ 言語構成	`BitPerChar`	`char` あたりのビット数 (`ProdBitPerChar`)
	`BitPerShort`	`short` あたりのビット数 (`ProdBitPerShort`)
	`BitPerInt`	`int` あたりのビット数 (`ProdBitPerInt`)
	`BitPerLong`	`long` あたりのビット数 (`ProdBitPerLong`)
	`BitPerFloat`	`float` のサイズ (`PurelyIntegerCode` が `'off'` の場合のみ)
	`BitPerDouble`	`double` のサイズ (`PurelyIntegerCode` が `‘off’` の場合のみ)
	`BitPerPointer`	`pointer` あたりのビット数 (`ProdBitPerPointer`)
	`BitPerSizeT`	`size_t` あたりのビット数 (`ProdBitPerSizeT`)
	`BitPerPtrDiffT`	`ptrdiff_t` あたりのビット数 (`ProdBitPerPtrDiffT`)
	`Endianess`	バイト順 (`ProdEndianess`)
	`Shift right for signed integer is arithmetic shift`	符号ビットの動作 (`ProdShiftRightIntArith`)
	`Signed integer division rounds to`	整数除算の丸め動作 (`ProdIntDivRoundTo`)
C/C++ 言語規格	`Initial value of a global integer variable and dynamically allocated memory is zero`	メモリのゼロ初期化 (`ZeroExternalMemoryAtStartup`、`ZeroInternalMemoryAtStartup`、および `GenerateAllocFcn`)
浮動小数点数	`Flush-to-zero computed subnormal values (FTZ)`	flush-to-zero 非正規数処理
浮動小数点数	`Flush-to-zero incoming subnormal values (DAZ)`	denormals-are-zero 非正規数処理

参考

buildStandaloneCoderAssumptions (Embedded Coder)

トピック

Verification of Code Generation Assumptions (Embedded Coder)