Main Content

テストの生成

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

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

ブロック

すべて展開する

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

関数

すべて展開する

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

トピック

はじめに

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

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

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

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