Что такое поиск ошибок проектирования?

Поиск ошибок проектирования является аналитическим режимом Simulink® Design Verifier™, который обнаруживает следующие типы ошибок:

  • Мертвая логика

  • Переполнение данных целочисленной или фиксированной точки

  • Деление на нуль

  • Промежуточные значения сигналов, которые являются вне заданных минимальных и максимальных значений

  • Из связанного доступа к массиву

Прежде чем вы будете моделировать свою модель, будете анализировать вашу модель в режиме поиска ошибок проектирования, чтобы найти и диагностировать эти ошибки. Анализ поиска ошибок проектирования определяет условия, которые вызывают ошибку, помогая вам идентифицировать возможные недостатки дизайна. Анализ поиска ошибок проектирования также вычисляет область значений значений сигналов, которые могут произойти для выходных портов блока и Stateflow® локальные данные в вашей модели.

После анализа вы можете:

  • Кликните по отдельным блокам, чтобы просмотреть результаты анализа для того блока.

  • Создайте модель тестовой обвязки, содержащую тесты, которые демонстрируют ошибки.

  • Создайте аналитический отчет, который содержит подробные результаты для целой модели.