Main Content

このページの翻訳は最新ではありません。ここをクリックして、英語の最新版を参照してください。

テスト ケースの生成

モデルからの体系的テスト ケースの生成、テスト ケースの拡張および結合による完全なテスト スイート化

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

注目の例