テスト生成の基礎

Simulink^® Design Verifier™ は、テスト生成の自動化によって Simulink モデルの信頼性とロバスト性を高めることができる強力なツールです。テストの生成機能を使用すると、設計エラーの検出、モデルの動作の検証、およびすべての機能要件のカバレッジの確認を目的とした包括的なテスト ケースを簡単に作成できます。形式的手法を活用することで、Simulink Design Verifier はモデルの状態空間を体系的に調べて重要なテスト シナリオを特定するため、手動によるテスト作業が減り、検証プロセスが高速化されます。記載されている基本的な手順に従うとテスト ケースを効果的に生成して利用でき、モデルが指定した設計基準を満たし、意図したように機能することを確認できます。