未達カバレッジの達成
ギャップを特定して包括的なテストを生成する
Simulink® Design Verifier™ を使用することで、モデルまたは生成コードにおいて、初期シミュレーションや検証後にまだテストされていない部分を特定し、対処することができます。これらのカバーされていない要素をターゲットとする追加のテスト入力が自動生成され、モデル カバレッジ全体が拡大されます。
テストされていないロジック パスを特定し、実行することで、ISO 26262、DO-178C、IEC 61508 など、高い構造カバレッジを求める規格への準拠に役立ちます。
トピック
未達カバレッジの達成
- 既存テスト ケースを拡張するタイミング
既存テスト ケースを拡張して、完全なテスト スイートを作成するタイミングを説明します。 - 既存テスト ケースの定義および拡張
この例では、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. - 参照モデルの未達カバレッジの達成
参照モデルの未達カバレッジ データを達成し、それを最上位モデルのカバレッジ データと組み合わせます。 - 閉ループ シミュレーション モデルでの未達カバレッジの達成
閉ループ シミュレーション モデルで未達カバレッジ データを達成します。
