Задайте опции, которые управляют, как 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)
