Main Content

最新のリリースでは、このページがまだ翻訳されていません。 このページの最新版は英語でご覧になれます。

テスト ケースの生成

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

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

注目の例