Поиск ошибок проектирования является Simulink® Проектируйте Verifier™ режим анализа, который обнаруживает следующие типы ошибок:
Мертвая логика
Целое число или переполнение данных с фиксированной точкой
Деление на нули
Промежуточные значения сигналов, которые находятся вне заданных минимального и максимального значений
Доступ за пределами ограниченного массива
Нарушения доступа к хранилищу данных
Указанные нарушения входной области значений блоков
Прежде чем вы симулируете модель, анализируйте модель в поиск ошибок проектирования режиме, чтобы найти и диагностировать эти ошибки. Поиск ошибок проектирования определяет условия, которые вызывают ошибку, помогая вам идентифицировать возможные недостатки проекта. Проектируйте анализ обнаружения ошибок также вычисляет область значений значений сигналов, которые могут возникнуть для выходов блоков и Stateflow® локальные данные в вашей модели.
После анализа можно:
Щелкните отдельные блоки, чтобы просмотреть результаты анализа для этого блока.
Создайте модель тестовой обвязки, содержащую тесты, которые демонстрируют ошибки.
Создайте отчет анализа, который содержит подробные результаты для всей модели.
Проект верификатора: Поиск ошибок проектирования | Запуск анализа Поиска ошибок проектирования