未達カバレッジの達成

ギャップを特定して包括的なテストを生成する

Simulink^® Design Verifier™ における未達カバレッジの達成とは、テスト中に実行されていないモデルまたは生成コードの領域を特定して対処するプロセスを指します。この機能を使用すると、ユーザーはこれらのテストされていない部分をカバーするテストケースを自動生成できるため、全体的なテストカバレッジが向上し、モデルまたはコードのあらゆる要素が確実に検証されます。テストの完全性を体系的に向上できるため、モデルとコードのロバスト性と信頼性が高まります。このプロセスは、規制標準や品質標準を満たすために高いカバレッジを達成することが不可欠であるセーフティクリティカルな業界で特に有益です。

トピック

未達カバレッジの達成

既存テストケースを拡張するタイミング
既存テストケースを拡張して、完全なテストスイートを作成するタイミングを説明します。
既存テストケースの定義および拡張
この例では、Simulink® Design Verifier™ でタイムステップを追加してテストケースを拡張し、完全なテストスイートを効率的に生成する方法を説明します。
時相論理を含むモデルのテストケースの拡張
既存テストケースを拡張して、時相論理を使用するモデルを解析します。
閉ループシステムのテストケースの拡張
既存テストケースを拡張して、モデル内の閉ループシステムを解析します。
変更されたモデルへのテストケースの拡張
解析後に変更を加えたモデルに対し、既存テストケースを拡張します。
既存テストスイートの拡張
この例では、Simulink® Design Verifier™ を使用して既存のテストスイートを拡張し、未達モデルカバレッジを取得する方法を示します。
モデル表現の再利用による既存テストケースの拡張
モデル表現を再利用してモデルを再解析する。
パラメーターコンフィギュレーションの適用後の既存テストケースの拡張
この例では、パラメーターコンフィギュレーションの適用後に既存のテストケースを拡張することで、未達カバレッジをアーカイブする方法を説明します。
大規模モデルの解析の実行
大規模モデルを解析するための手法を説明します。
Achieve Missing Coverage in Generated Code of RLS
This example shows you how to use Simulink® Design Verifier™ to generate test cases that achieve full coverage.
Achieve Missing Coverage in Custom Code
This example shows you how to test for missing coverage in custom code.
参照モデルの未達カバレッジの達成
参照モデルの未達カバレッジデータを達成し、それを最上位モデルのカバレッジデータと組み合わせます。
閉ループシミュレーションモデルでの未達カバレッジの達成
閉ループシミュレーションモデルで未達カバレッジデータを達成します。