テストの生成

Simulink^® Design Verifier™ は、モデルの動作を包括的に評価できるテスト ケースを自動生成します。テスト ケースは、モデル内ブロックのさまざまなモードにおける実行状況を示すことにより、モデルのパフォーマンスを確認するための手助けとなります。テスト ケースを生成する際に、モデルの形式的解析が実行されます。解析が完了すると、結果をレビューするための方法がいくつか表示されます。詳細については、Generate Test Cases for a Modelを参照してください。テスト ケースを生成することで、Simulink Design Verifier は、改良条件判定カバレッジ (MC/DC) や境界値解析などのモデル カバレッジ オブジェクティブの達成を支援します。この解析により、モデルの信頼性が高まるだけでなく、手動によるテスト作業が減るため検証プロセスが高速化されます。生成されたテスト ケースを使用して、指定した要件に対してモデルを検証できるため、業界標準に確実に準拠し、開発の後期段階におけるエラーのリスクを抑えることができます。