Simulink Design Verifier. Simulink 設計驗證工具
Introduction
Simulink設計驗證工具可針對使用者的Simulink和Stateflow模型產生測試，符合模型覆蓋率和使用者自訂目標的要求，提供模型屬性和產生反例。Simulink設計驗證工具支援的模型覆蓋率目標包括：決策、條件、變更條件/決策覆蓋度 (MC/DC)等。使用設計驗證模塊，使用者可以直接在Simulink和Stateflow模型中定義測試的目標；而利用屬性驗證功能，可以發現在模擬中較難揭露的設計缺失、遺漏的需求、多餘的狀態和問題。
本工具箱使用需搭配MATLAB、Simulink、Simulink Check、Simulink Coverage。