Задайте опции, которые управляют, как 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 значения с плавающей точкой.
Значение по умолчанию: 'off'
НаСообщает неличный и NaN значения с плавающей точкой в вашей модели.
'off'Не сообщает неличный и NaN значения с плавающей точкой в вашей модели.
Параметр:
DVDetectInfNaN |
| Ввод: массив символов |
Значение:
'on' | 'off' |
Значение по умолчанию:
'off' |
Обнаружьте неличный, NaN и субнормальные значения с плавающей точкой
Задайте, анализировать ли вашу модель для субнормальных значений с плавающей точкой.
Значение по умолчанию: 'off'
НаПоднормаль отчетов значения с плавающей точкой в вашей модели.
'off'Не сообщают субнормальные значения с плавающей точкой в вашей модели.
Параметр:
DVDetectSubnormal |
| Ввод: массив символов |
Значение:
'on' | 'off' |
Значение по умолчанию:
'off' |
Обнаружьте неличный, NaN и субнормальные значения с плавающей точкой
Задайте, проверять ли, что промежуточные и выходные сигналы в вашей модели в области значений заданных пользователями минимальных и максимальных ограничений.
Значение по умолчанию: 'off'
НаПроверки, что промежуточные и выходные сигналы в области значений заданных пользователями минимальных и максимальных ограничений.
'off'Не проверяет, что промежуточные и выходные сигналы в области значений заданных пользователями минимальных и максимальных ограничений.
Параметр:
DVDesignMinMaxCheck |
| Ввод: массив символов |
Значение:
'on' | 'off' |
Значение по умолчанию:
'off' |
Проверяйте на заданные нарушения минимального и максимального значения
Задайте, анализировать ли вашу модель для нарушений прав доступа хранилища данных. Поиск ошибок проектирования проверяет на эти нарушения, связанные с блоками Data Store Memory:
Чтение перед записью
Запись после чтения
Запись после записи
Значение по умолчанию: 'off'
НаНарушения прав доступа хранилища данных отчетов в вашей модели.
'off'Не сообщают нарушения прав доступа хранилища данных в вашей модели.
Параметр:
DVDetectDSMAccessViolations |
| Ввод: массив символов |
Значение:
'on' | 'off' |
Значение по умолчанию:
'off' |
Обнаружение доступа к ошибкам порядка (Simulink)
Задайте, анализировать ли вашу модель для нарушений входного диапазона блока. Проверка обнаруживает нарушения входного диапазона для блоков с этими настройками:
Для этих блоков, когда параметр 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' |