テストケースの拡張

既存テストケースの活用によるテストの目的の達成

Simulink^® Design Verifier™ では、フルモデルカバレッジを達成する目的でモデルを解析します。既存のテストケースまたは既存のカバレッジデータを使用して、フルモデルカバレッジを達成できます。

トピック

モデルカバレッジ解析

テスト生成アドバイザーによる解析可能コンポーネントの特定
テスト生成アドバイザーを使用してモデルとコンポーネントの解析を進めます。
Design Verifier ペイン: テスト生成
Simulink Design Verifier による解析対象モデルのテスト生成方法を制御するオプションを指定します。
Simulink Design Verifier のオプション
[コンフィギュレーションパラメーター] ダイアログボックスの Simulink Design Verifier オプションの概要。
解析結果のレビュー
Simulink Design Verifier の [検証結果の概要] ウィンドウで解析結果をレビューする。

コードカバレッジ解析

Embedded Coder で生成されたコードのテストケースの生成
生成コードのテストケースを生成する処理の概要を説明する。
コードカバレッジテストの生成
この例では、Simulink® Design Verifier™ を使用してテストケースを生成し、完全なコードカバレッジを取得する方法を説明します。
テストケース生成のための S-Function の構成
この例では、テストケース生成のために Simulink® Design Verifier™ と互換性をもつよう S-Function をコンパイルする方法を説明します。
S-Function および C/C++ コードのサポートの制限事項と考慮事項
Simulink Design Verifier での S-Function および生成コードの制限事項と考慮事項を説明する。

テストケースの拡張

既存テストケースを拡張するタイミング
既存テストケースを拡張して、完全なテストスイートを作成するタイミングを説明します。
時相論理を含むモデルのテストケースの拡張
既存テストケースを拡張して、時相論理を使用するモデルを解析します。
閉ループシステムのテストケースの拡張
既存テストケースを拡張して、モデル内の閉ループシステムを解析します。
変更されたモデルへのテストケースの拡張
解析後に変更を加えたモデルに対し、既存テストケースを拡張します。
テストケースの作成と実行
この例では、Simulink® Design Verifier™ の関数を使用して、入力信号のログ作成、ハーネスモデルの作成、未達カバレッジのテストケースの生成、ハーネスモデルのマージおよびテストケースの実行を行う方法を説明します。
既存テストスイートの拡張
この例では、Simulink® Design Verifier™ を使用して既存のテストスイートを拡張し、未達モデルカバレッジを取得する方法を示します。
既存テストケースの定義および拡張
この例では、Simulink® Design Verifier™ でタイムステップを追加してテストケースを拡張し、完全なテストスイートを効率的に生成する方法を説明します。
パラメーターコンフィギュレーションの適用後の既存テストケースの拡張
この例では、パラメーターコンフィギュレーションの適用後に既存のテストケースを拡張することで、未達カバレッジをアーカイブする方法を説明します。

未達カバレッジの達成

サブシステムおよび Model ブロック内の未達カバレッジ
未達カバレッジの達成を試みる前に、サブシステムを Model ブロックに変換する方法を説明します。
参照モデルの未達カバレッジの達成
参照モデルの未達カバレッジデータを達成し、それを最上位モデルのカバレッジデータと組み合わせます。
閉ループシミュレーションモデルでの未達カバレッジの達成
閉ループシミュレーションモデルで未達カバレッジデータを達成します。
サブシステム解析時の既存のカバレッジデータの使用
この例では、Simulink® Design Verifier™ において、連続時間閉ループシミュレーション内の 1 つのサブシステムを解析のターゲットとし、そのサブシステムの未達カバレッジに対してテストケースを生成する方法を説明します。