Simulink ® Design Verifier™ использует формальные методы для выявления скрытых ошибок конструкции в моделях. Он обнаруживает в модели блоки, которые приводят к переполнению целых чисел, неработоспособной логике, нарушениям доступа к массиву и делению на ноль. Он может официально проверить соответствие проекта функциональным требованиям. Для каждой проектной ошибки или нарушения требований создается тестовый пример моделирования для отладки.
Simulink Design Verifier генерирует тестовые примеры для охвата модели и пользовательских целей для расширения существующих тестовых примеров на основе требований. Эти тестовые примеры обеспечивают соответствие модели условиям, решениям, измененным условиям/решениям (MCDC) и пользовательским целям покрытия. В дополнение к целям покрытия можно указать пользовательские цели тестирования для автоматического создания тестовых примеров на основе требований.
Поддержка отраслевых стандартов обеспечивается комплектом сертификации МЭК (для IEC 61508 и ISO 26262) и комплектом квалификации ДО (для DO-178).
Изучение основ Simulink Design Verifier
Определение и настройка компонентов модели для анализа
Статическое обнаружение ошибок во время выполнения и неработоспособной логики, получение диапазонов проектирования
Создание систематических тестовых примеров из модели, расширение и объединение тестовых примеров для полного набора тестов
Проверка проекта на соответствие требованиям, определение ограничений ввода анализа
Обработка несовместимости, оптимизация анализа для больших и сложных моделей
Регистрация и просмотр результатов анализа, создание отчета, создание модели тестовых кабелей
Использование продуктов Simulink для тестирования моделей и кода, проверки ошибок проектирования, проверки соответствия стандартам, измерения покрытия и проверки системы
Квалификация верификатора проекта Simulink для сертификации IEC