Программное обеспечение MathWorks Simulink Design Verifier предназначено для автоматического создания набора тестов, который удовлетворяет полному покрытию модели и требованиям разработчика. Кроме того, MathWorks Simulink Design Verifier осуществляет подтверждение параметров модели и выявляет нарушения работы системы. Simulink Design Verifier проверяет модель по таким критериям, как решения, условия, покрытия условий модифицируемым решением (MC/DC). Пользователи могут собственноручно устанавливать критерии оценки качества модели посредством специализированных блоков. С помощью методик доказательств свойств моделей удобно проверять работу системы, выявляя нереализованные требования, специфические и нежелательные состояния системы, которые тяжело обнаружить, используя только симуляцию.
Ключевые особенности MathWorks Simulink Design Verifier:

• Связь моделей Simulink и Stateflow с документами, содержащими технические требования по каждому конкретному элементу и подсистеме.


• Связь с любыми типами файлов, а также с системами разработки технических требований посредством расширяемого интерфейса.


• Связь проверочных блоков с условиями тестов.


• Наследование технических требований в течение всего процесса разработки вплоть до их включения в C-код в качестве комментариев.


• Идентификация протестированных частей системы, с выводом стандартных показателей, включая покрытие условных переходов.


• Удобная визуализация результатов тестирования.


• Сопровождение всех деталей проверки подробными отчетами.