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