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