Панель верификатора проекта: поиск ошибок проектирования

Обзор панели поиска ошибок проектирования
Мертвая логика
Идентифицируйте активную логику
Из связанного доступа к массиву
Деление на нуль
Целочисленное переполнение
Неличный и NaN значения с плавающей точкой
Субнормальные значения с плавающей точкой
Заданные нарушения минимального и максимального значения
Нарушения прав доступа хранилища данных
Заданные нарушения входного диапазона блока

Обзор панели поиска ошибок проектирования

Задайте опции, которые управляют, как Simulink^® Design Verifier™ обнаруживает ошибки периода выполнения в моделях, которые он анализирует.

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

Задайте, анализировать ли вашу модель для мертвой логики.

Настройки

Значение по умолчанию: 'off'

На: Мертвая логика отчетов в вашей модели.
'off': Не сообщает мертвая логика в вашей модели.

Информация о командной строке

Параметр: DVDetectDeadLogic

Ввод: массив символов

Значение: 'on' | 'off'

Значение по умолчанию: 'off'

Смотрите также

Обнаружение мертвой логики

Идентифицируйте активную логику

Задайте, анализировать ли вашу модель для активной логики, в дополнение к мертвой логике.

Настройки

Значение по умолчанию: 'off'

На: Сообщает активная логика в вашей модели.
'off': Не сообщает активная логика в вашей модели.

Зависимость

Чтобы включить Identify active logic, выберите Dead logic.

Информация о командной строке

Параметр: DVDetectActiveLogic

Ввод: массив символов

Значение: 'on' | 'off'

Значение по умолчанию: 'off'

Смотрите также

Обнаружение мертвой логики

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

Задайте, анализировать ли вашу модель для из связанных ошибок доступа к массиву.

Настройки

Значение по умолчанию: на

На: Отчеты из связанных ошибок доступа к массиву в вашей модели.
'off': Не сообщает из связанных ошибок доступа к массиву в вашей модели.

Информация о командной строке

Параметр: DVDetectOutOfBounds

Ввод: массив символов

Значение: 'on' | 'off'

Значение по умолчанию: 'on'

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

Задайте, анализировать ли вашу модель для ошибок деления на нуль.

Настройки

Значение по умолчанию: на

На: Ошибки деления на нуль отчетов в вашей модели.
'off': Не сообщают ошибки деления на нуль в вашей модели.

Информация о командной строке

Параметр: DVDetectDivisionByZero

Ввод: массив символов

Значение: 'on' | 'off'

Значение по умолчанию: 'on'

Целочисленное переполнение

Задайте, анализировать ли вашу модель для ошибок переполнения данных целочисленной и фиксированной точки.

Настройки

Значение по умолчанию: на

На: Целое число отчетов или данные фиксированной точки переполняют ошибок в вашей модели.
'off': Не сообщают ошибки переполнения данных целочисленной или фиксированной точки в вашей модели.

Информация о командной строке

Параметр: DVDetectIntegerOverflow

Ввод: массив символов

Значение: 'on' | 'off'

Значение по умолчанию: 'on'

Неличный и NaN значения с плавающей точкой

Задайте, анализировать ли вашу модель для неличного и NaN значения с плавающей точкой.

Настройки

Значение по умолчанию: 'off'

На: Сообщает неличный и NaN значения с плавающей точкой в вашей модели.
'off': Не сообщает неличный и NaN значения с плавающей точкой в вашей модели.

Информация о командной строке

Параметр: DVDetectInfNaN

Ввод: массив символов

Значение: 'on' | 'off'

Значение по умолчанию: 'off'

Субнормальные значения с плавающей точкой

Задайте, анализировать ли вашу модель для субнормальных значений с плавающей точкой.

Настройки

Значение по умолчанию: 'off'

На: Поднормаль отчетов значения с плавающей точкой в вашей модели.
'off': Не сообщают субнормальные значения с плавающей точкой в вашей модели.

Информация о командной строке

Параметр: DVDetectSubnormal

Ввод: массив символов

Значение: 'on' | 'off'

Значение по умолчанию: 'off'

Заданные нарушения минимального и максимального значения

Задайте, проверять ли, что промежуточные и выходные сигналы в вашей модели в области значений заданных пользователями минимальных и максимальных ограничений.

Настройки

Значение по умолчанию: 'off'

На: Проверки, что промежуточные и выходные сигналы в области значений заданных пользователями минимальных и максимальных ограничений.
'off': Не проверяет, что промежуточные и выходные сигналы в области значений заданных пользователями минимальных и максимальных ограничений.

Информация о командной строке

Параметр: DVDesignMinMaxCheck

Ввод: массив символов

Значение: 'on' | 'off'

Значение по умолчанию: 'off'

Нарушения прав доступа хранилища данных

Задайте, анализировать ли вашу модель для нарушений прав доступа хранилища данных. Поиск ошибок проектирования проверяет на эти нарушения, связанные с блоками Data Store Memory:

Чтение перед записью
Запись после чтения
Запись после записи

Настройки

Значение по умолчанию: 'off'

На: Нарушения прав доступа хранилища данных отчетов в вашей модели.
'off': Не сообщают нарушения прав доступа хранилища данных в вашей модели.

Информация о командной строке

Параметр: DVDetectDSMAccessViolations

Ввод: массив символов

Значение: 'on' | 'off'

Значение по умолчанию: 'off'

Заданные нарушения входного диапазона блока

Задайте, анализировать ли вашу модель для нарушений входного диапазона блока. Проверка обнаруживает нарушения входного диапазона для блоков с этими настройками:

Для этих блоков, когда параметр Diagnostic for out-of-range input устанавливается на Warning или Error:
Блоки Multiport Switch, когда параметр Diagnostic for default case устанавливается на Warning или Error.
Блоки Trigonometric Function, когда параметр Approximation method устанавливается на CORDIC

Примечание

Проверка не отмечает нарушения входного диапазона блока для блоков n-D Lookup Table, когда Interpolation method установлен в Akima spline или Cubic spline.

Примечание

Проверка не отмечает нарушения входного диапазона блока для блоков Trigonometric Function с CORDIC Approximation method, для которого параметром Function является atan2 и типами данных входных сигналов является double.

Настройки

Значение по умолчанию: 'off'

На: Отчеты блокируют нарушения входного диапазона в вашей модели.
'off': Не сообщают нарушения входного диапазона блока в вашей модели.

Информация о командной строке

Параметр: DVDetectBlockInputRangeViolations

Ввод: массив символов

Значение: 'on' | 'off'

Значение по умолчанию: 'off'

Документация