サブシステムと参照モデルに対するテスト

Simulink^® Design Verifier™ におけるサブシステムと参照モデルに対するテストとは、大規模な Simulink モデル内の個々のサブシステムおよび参照モデル専用のテスト ケースを生成するツールの機能を指します。この機能を使用すると、ユーザーはモデルの特定のコンポーネントに焦点を当てることができ、各部分がその要件と機能を正しく満たしていることを確認できます。これらのコンポーネントを分離してテストすることで、ユーザーはよりターゲットを絞った検証を実現して問題を早期に特定し、システム全体の信頼性とパフォーマンスを向上できます。