このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。
未達カバレッジの達成
ギャップを特定して包括的なテストを生成する
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. If you simulate a harness of a reusable library subsystem (RLS) in the software-in-the-loop (SIL) simulation mode, then coverage of the generated code of the RLS is reported. Using Simulink® Test Manager™, you can easily achieve full coverage by using the following steps: - Achieve Missing Coverage in Custom Code
This example shows you how to test for missing coverage in custom code. You can use these steps to also test for missing coverage in external C code. If you simulate a model with custom code through C Caller block, C Caller Library, or coder.ceval function, then coverage of the custom code is reported. If the code does not achieve full coverage, you can use Simulink® Design Verifier™ to generate test cases that achieve full coverage. You can then use Simulink® Test Manager™ to perform unit testing by generating test cases only for the custom code. - 参照モデルの未達カバレッジの達成
参照モデルの未達カバレッジ データを達成し、それを最上位モデルのカバレッジ データと組み合わせます。 - 閉ループ シミュレーション モデルでの未達カバレッジの達成
閉ループ シミュレーション モデルで未達カバレッジ データを達成します。
