テストの生成

モデル、コードカバレッジ、カスタムのテスト基準を満たす一連のテストを生成する

テスト生成では、モデルカバレッジなどのテスト基準を満たすための、モデルの入力値のシーケンスが生成されます。Simulink^® Design Verifier™ は要件に基づいたテストからの既存のモデルカバレッジ情報を拡張します。要件に基づくテストで達成されなかったカバレッジオブジェクティブを満たすために、テスト入力に追加シーケンスが生成されます。これらのテスト入力を使用して未達成の要件をよりよく理解し、より完全なテストハーネスを作成します。

ブロック

すべて展開する

テストケースの生成で使用するブロック

Test Condition	テストケースでの信号値の制限
Test Objective	テストケースで信号が達成しなければならないカスタムオブジェクティブを定義する
Detector	入力が true となる期間の検出と、出力タイプに基づく出力が true となる期間の作成
Extender	入力が true となる期間の延長
Implies	特定の応答を生成する条件の指定
Within Implies	目的の期間内に応答が発生するかを確認する
Verification Subsystem	シミュレーション結果や生成済みのコードに影響を与えることなく、証明オブジェクティブまたはテストオブジェクティブを指定する

関数

すべて展開する

テストケースの生成で使用する関数

`sldvoptions`	設計検証オプションオブジェクトの作成
`sldv.condition`	Stateflow チャートおよび MATLAB Function ブロックのテスト条件関数
`sldv.test`	Stateflow チャートと MATLAB Function ブロックのテストオブジェクティブ関数
`sldvextract`	サブシステムまたはサブチャートの内容を解析用の新しいモデルに抽出する
`sldvtimer`	タイマー最適化の識別、変更、および表示
`sldvoptions`	設計検証オプションオブジェクトの作成
`sldvrun`	モデルの解析
`sldvlogsignals`	シミュレーション入力端子の値を記録する
`sldvgencov`	モデルを解析して未達モデルカバレッジを取得する
`sldvgenspreadsheet`	Generate spreadsheet containing test cases
`sldvruntest`	入力データを使用したモデルのシミュレーション
`sldvruntestopts`	`sldvruntest` または `sldvruncgvtest` に対するシミュレーションまたは実行オプションの生成
`sldvharnessopts`	`sldvmakeharness` の既定のオプション
`sldvmakefilter`	`Unsatisfiable`、`Dead Logic`、`Falsified`、`Falsified - No Counterexample`、`Falsified - Needs Simulation` など、`sldvData` ファイル内のオブジェクティブの正当化規則を含むフィルターファイルを生成
`sldvmakeharness`	ハーネスモデルの生成
`sldvmergeharness`	テストケースおよび初期化を 1 つのハーネスモデルにマージする
`sldvreport`	Simulink Design Verifier レポートを生成する
`sldvchecksum`	モデルのチェックサムを返す

トピック

はじめに

テストケースの生成とは
Simulink Design Verifier によるテストケース生成の概要。
テストケース生成のワークフロー
モデルに対してテストケースを生成する処理の概要を説明します。
既存テストケースを拡張するタイミング
既存テストケースを拡張して、完全なテストスイートを作成するタイミングを説明します。
テストケースの作成と実行
この例では、Simulink® Design Verifier™ の関数を使用して、入力信号のログ作成、ハーネスモデルの作成、未達カバレッジのテストケースの生成、ハーネスモデルのマージおよびテストケースの実行を行う方法を説明します。
SimulinkTest へのテストケースのエクスポート
プロパティ証明、設計エラー検出およびテストケースの生成によって生成される Simulink Design Verifier 解析結果を使用して、Simulink Test™ でテストケースを生成する方法を説明する。
既存テストケースの定義および拡張
この例では、Simulink® Design Verifier™ でタイムステップを追加してテストケースを拡張し、完全なテストスイートを効率的に生成する方法を説明します。
テスト生成アドバイザーによる解析可能コンポーネントの特定
テスト生成アドバイザーを使用してモデルとコンポーネントの解析を進めます。
モデル表現の再利用による既存テストケースの拡張
モデル表現を再利用してモデルを再解析する。
拡張 MCDC 解析の基本的なワークフロー
拡張改良条件判定カバレッジ (MCDC) カバレッジオブジェクティブのテストケースを生成するには、次を行います。

モデル判定カバレッジに対するテストの生成

テスト生成用のモデルカバレッジオブジェクティブ
テストケースは、モデルが条件、判定、改良条件判定 (MCDC) およびカスタムのカバレッジオブジェクティブを達成できるように生成されます。
モデル判定カバレッジのテストケースの生成
モデルのテストケースを生成する過程を順に確認する例。
Specify Parameter Configuration for Full Coverage
An example of how to specify parameter constraint values to achieve full model coverage.
サブシステムのテストケースの生成
個々のサブシステムを解析します。
時相論理を含むモデルのテストケースの拡張
既存テストケースを拡張して、時相論理を使用するモデルを解析します。
閉ループシステムのテストケースの拡張
既存テストケースを拡張して、モデル内の閉ループシステムを解析します。
変更されたモデルへのテストケースの拡張
解析後に変更を加えたモデルに対し、既存テストケースを拡張します。
既存テストスイートの拡張
この例では、Simulink® Design Verifier™ を使用して既存のテストスイートを拡張し、未達モデルカバレッジを取得する方法を示します。
パラメーターコンフィギュレーションの適用後の既存テストケースの拡張
この例では、パラメーターコンフィギュレーションの適用後に既存のテストケースを拡張することで、未達カバレッジをアーカイブする方法を説明します。
古いリリースのモデルのモデルカバレッジの拡張
Simulink Design Verifier を使用した、リリース間のモデルアップグレードのワークフローの使用方法を説明する。

モデル内のカスタムコードに対するテストの生成

テストケース生成のための S-Function の構成
この例では、テストケース生成のために Simulink® Design Verifier™ と互換性をもつよう S-Function をコンパイルする方法を説明します。
C Caller ブロックをもつモデルでのテスト生成
C Caller ブロックおよびカスタム C コードをもつモデルに対するテスト生成。
Stateflow チャートでのカスタムコードのテスト生成
Stateflow チャートでの、カスタムコードをもつモデルに対するテスト生成。
Test Generation for Custom Code in MATLAB Function Block
Simulink Design Verifier analysis supports models that call custom code from MATLAB^® function blocks by using coder.ceval. For such design models, you can generate test cases for model coverage or perform design error detection to find dead logic or detect design errors.
S-Function および C/C++ コードのサポートの制限事項と考慮事項
Simulink Design Verifier での S-Function および生成コードの制限事項と考慮事項を説明する。

解析可能なモデルコンポーネントに対するテストの生成

Model ブロックのテストケースの生成
Model Reference ブロックのテストケースを生成。
テスト生成アドバイザーによる解析可能コンポーネントの特定
テスト生成アドバイザーを使用してモデルとコンポーネントの解析を進めます。
Generate Tests for Model Block Component by Using Default Simulation
This example shows how to use Simulink® Design Verifier™ to generate test cases for a Model block by using a default top model simulation.
サブシステムおよび Model ブロック内の未達カバレッジの達成
未達カバレッジの達成を試みる前に、サブシステムを Model ブロックに変換する方法を説明します。
参照モデルの未達カバレッジの達成
参照モデルの未達カバレッジデータを達成し、それを最上位モデルのカバレッジデータと組み合わせます。
閉ループシミュレーションモデルでの未達カバレッジの達成
閉ループシミュレーションモデルで未達カバレッジデータを達成します。
Analyze Coverage for Lookup Table Boundary Values
Describes how to generate tests for lookup table boundary value coverage.
サブシステム解析時の既存のカバレッジデータの使用
この例では、Simulink® Design Verifier™ において、連続時間閉ループシミュレーション内の 1 つのサブシステムを解析のターゲットとし、そのサブシステムの未達カバレッジに対してテストケースを生成する方法を説明します。
Inspect Test Generation Objectives by Using Model Slicer
Inspect Test Generation Objectives using Model Slicer.

生成コードのフルカバレッジに向けたテストの生成

コードカバレッジテストの生成
この例では、Simulink® Design Verifier™ を使用してテストケースを生成し、完全なコードカバレッジを取得する方法を説明します。
Embedded Coder で生成されたコードのテストケースの生成
生成コードのテストケースを生成する処理の概要を説明する。

注目の例

モデルカバレッジテストの生成

この例では、デバウンサーに対してすべてのモデルカバレッジを達成するテストケースの生成方法を示します。このモデル例では、各モデルカバレッジポイントの結果がテストオブジェクティブです。最小のテストケースを生成するように Simulink Design Verifier を設定すると、できるだけ多くのオブジェクティブが各テストケースで達成されます。

例を開く

燃料比コントローラーのロジック

この例では、判定、条件および MCDC カバレッジを達成するテストケースの生成方法を示します。Simulink® Design Verifier™ では、テストデータが自動的に生成され、モデルのプロパティが証明されます。テスト基準を満たす入力値のシーケンスが生成されるか、証明の反例が示されます。モデルに関連付けられている構成オプションで、解析のオブジェクティブを指定します。モデルを解析する場合、Simulink Design Verifier は網羅的探索手法を使用して入力データを生成します。正常に完了するとテストデータが生成され、解析オブジェクティブを満たすデータ値をもつ Signal Builder ブロックを含む新しいハーネスモデルが生成されます。メモ: このモデルの複雑度により、割り当てられた時間内でのテスト生成の完了が妨げられる場合があります。テスト生成を停止して部分的な結果を生成するか、Simulink Design Verifier のオプションを編集して制限時間を延長できます。

例を開く

クルーズコントロールテストの生成

この例では、すべてのモデルカバレッジを達成するテストケースの生成方法を示します。既定で、Simulink® Design Verifier™ は最小ステップでオブジェクティブを達成するテストケースを生成します。いずれか 1 つのテストオブジェクティブにより、PI コントローラーの離散積分器がその上限を超過するように強制されます。制約なしで Simulink Design Verifier を実行する場合、速度を 500 に強制することにより、この制限は単一のステップで超過します。速度の制約により、テストケースの値は 0 ～ 100 の間で制限されます。これにより、テストケースはいくつかのサンプルをとり、積分器の制限を超えるように強制されます。

例を開く

フリップフロップテストの生成

この例では、フリップフロップに対してすべてのモデルカバレッジを達成するテストケースの生成方法を示します。このモデル例では、各モデルカバレッジポイントの結果がテストオブジェクティブです。最小のテストケースを生成するように Simulink Design Verifier を設定すると、できるだけ多くのオブジェクティブが各テストケースで達成されます。

例を開く