最新のリリースでは、このページがまだ翻訳されていません。 このページの最新版は英語でご覧になれます。
テスト生成では、モデル カバレッジなどのテスト基準を満たすための、モデルの入力値のシーケンスが生成されます。Simulink® Design Verifier™ は要件に基づいたテストからの既存のモデル カバレッジ情報を拡張します。要件に基づくテストで達成されなかったカバレッジ オブジェクティブを満たすために、テスト入力に追加シーケンスが生成されます。これらのテスト入力を使用して未達成の要件をよりよく理解し、より完全なテスト ハーネスを作成します。