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