このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

フリップフロップ テストの生成

R2026a

この例では、フリップフロップに対してすべてのモデル カバレッジを達成するテスト ケースの生成方法を示します。このモデル例では、各モデル カバレッジ ポイントの結果がテスト オブジェクティブです。生成テスト ケース数を最少にするように Simulink® Design Verifier™ を設定すると、各テスト ケースでできるだけ多くのオブジェクティブが達成されます。

open_system('sldvdemo_flipflop');