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

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

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

Мертвая логика (частичная)

Задайте, анализировать ли вашу модель на мертвую логику. Это может привести к частичному анализу. Выберите Run exhaustive analysis, чтобы всегда выполнять исчерпывающий анализ.

Настройки

По умолчанию: Off

На

Сообщает о мертвой логике, идентифицированной в вашей модели.

Прочь

Не анализирует на мертвую логику.

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

Параметр: DVDetectDeadLogic
Тип: символьный массив
Значение: 'on' | 'off'
По умолчанию: 'off'

См. также

Выполните исчерпывающий анализ

Основывается на проверке Dead logic (partial). Задайте эту опцию порядка, чтобы запустить исчерпывающий анализ для мертвой логики в модели.

Настройки

По умолчанию: Off

На

Выполните исчерпывающий анализ для мертвой логики в вашей модели.

Прочь

Не выполняет исчерпывающий анализ для мертвой логики в вашей модели.

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

Параметр: DVDetectActiveLogic
Тип: символьный массив
Значение: 'on' | 'off'
По умолчанию: 'off'

Зависимость

Этот параметр зависит от Dead logic (partial) и работает только, когда Dead logic (partial) также включено.

См. также

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

Доступ за пределами ограниченного массива

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

Настройки

По умолчанию: On

На

Сообщает об ошибках доступа к ограниченным массивам в вашей модели.

Прочь

Не сообщает об ошибках доступа к ограниченным массивам в вашей модели.

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

Параметр: DVDetectOutOfBounds
Тип: символьный массив
Значение: 'on' | 'off'
По умолчанию: 'on'

См. также

Обнаружение несвязанных ошибок доступа к массивам

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

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

  • Чтение-перед-записать

  • Запись после чтения

  • Запись-после-запись

Настройки

По умолчанию: Off

На

Сообщает о нарушениях доступа к хранилищу данных в вашей модели.

Прочь

Не сообщает о нарушениях доступа к хранилищу данных в вашей модели.

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

Параметр: DVDetectDSMAccessViolations
Тип: символьный массив
Значение: 'on' | 'off'
По умолчанию: 'off'

См. также

Обнаружение ошибок порядка доступа

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

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

Настройки

По умолчанию: On

На

Сообщает об ошибках деления на нули в вашей модели.

Прочь

Не сообщает об ошибках деления на нули в вашей модели.

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

Параметр: DVDetectDivisionByZero
Тип: символьный массив
Значение: 'on' | 'off'
По умолчанию: 'on'

См. также

Обнаружение целочисленного переполнения и ошибок деления на нули

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

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

Настройки

По умолчанию: On

На

Сообщает об ошибках переполнения данных с целым числом или фиксированной точкой в вашей модели.

Прочь

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

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

Параметр: DVDetectIntegerOverflow
Тип: символьный массив
Значение: 'on' | 'off'
По умолчанию: 'on'

См. также

Обнаружение целочисленного переполнения и ошибок деления на нули

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

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

Настройки

По умолчанию: Off

На

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

Прочь

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

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

Параметр: DVDetectInfNaN
Тип: символьный массив
Значение: 'on' | 'off'
По умолчанию: 'off'

См. также

Обнаружение нефинитных, NaN и субнормальных значений с плавающей точкой

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

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

Настройки

По умолчанию: Off

На

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

Прочь

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

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

Параметр: DVDetectSubnormal
Тип: символьный массив
Значение: 'on' | 'off'
По умолчанию: 'off'

См. также

Обнаружение нефинитных, NaN и субнормальных значений с плавающей точкой

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

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

Настройки

По умолчанию: Off

На

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

Прочь

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

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

Параметр: DVDesignMinMaxCheck
Тип: символьный массив
Значение: 'on' | 'off'
По умолчанию: 'off'

См. также

Проверяйте на установленные нарушения минимального и максимального значений

Указанные нарушения входной области значений блоков

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

Примечание

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

Примечание

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

Настройки

По умолчанию: Off

На

Сообщает о нарушениях входной области значений блоков в вашей модели.

Прочь

Не сообщает о нарушениях входной области значений блоков в вашей модели.

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

Параметр: DVDetectBlockInputRangeViolations
Тип: символьный массив
Значение: 'on' | 'off'
По умолчанию: 'off'

См. также

Обнаружение нарушений входной области значений блоков

Использование блоков Математической Функции (rem и обратные функции) - hisl_0002

Укажите, следует ли проверять использование блоков Math Function с остатком после деления (rem) или reciprocal функции:

Это соответствует проверке hisl_0002 для моделирования систем высокой целостности. Для получения дополнительной информации смотрите hisl_0002: Использование блоков Math Function (rem и returcal).

Настройки

По умолчанию: Off

На

Сообщает о нарушениях проверки hisl_0002 в вашей модели.

Прочь

Не сообщает о нарушениях проверки hisl_0002 в вашей модели.

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

Параметр: DVDetectHISMViolationsHisl_0002
Тип: символьный массив
Значение: 'on' | 'off'
По умолчанию: 'off'

См. также

Model Advisor проверяет высокую целостность Руководств по моделированию

Math Function

Использование блоков квадратного корня - hisl_0003

Укажите, следует ли проверять использование блоков Square Root, которые не учитывают комплексные числа в качестве выходных значений.

Это соответствует проверке hisl_0003 для моделирования систем высокой целостности. Для получения дополнительной информации смотрите hisl_0003: Использование квадратных корней.

Настройки

По умолчанию: Off

На

Сообщите о нарушениях проверки hisl_0003 в вашей модели.

Прочь

Не сообщает о нарушениях проверки hisl_0003 в вашей модели.

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

Параметр: DVDetectHISMViolationsHisl_0003
Тип: символьный массив
Значение: 'on' | 'off'
По умолчанию: 'off'

См. также

Model Advisor проверяет высокую целостность Руководств по моделированию

Sqrt

Использование блоков Math Function (журнала и log10) - hisl_0004

Укажите, проверять ли использование блоков Math Function с помощью натурального логарифма (log) или общий (база 10) логарифм (log10) функции, которые не учитывают комплексные числа как выходные значения.

Это соответствует проверке hisl_0004 для моделирования систем высокой целостности. Для получения дополнительной информации смотрите hisl_0004: Использование блоков Math Function (естественный логарифм и база 10 логарифм).

Настройки

По умолчанию: Off

На

Сообщите о нарушениях проверки hisl_0004 в вашей модели.

Прочь

Не сообщает о нарушениях проверки hisl_0004 в вашей модели.

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

Параметр: DVDetectHISMViolationsHisl_0004
Тип: символьный массив
Значение: 'on' | 'off'
По умолчанию: 'off'

См. также

Model Advisor проверяет высокую целостность Руководств по моделированию

Использование блоков Обратных Квадратных Корней - hisl_0028

Укажите, нужно ли проверять использование блоков обратного Square Root.

Это соответствует проверке hisl_0028 для моделирования систем высокой целостности. Для получения дополнительной информации смотрите hisl_0028: Использование Возвратных Квадратных Корневых блоков.

Настройки

По умолчанию: Off

На

Сообщите о нарушениях проверки hisl_0028 в вашей модели.

Прочь

Не сообщает о нарушениях проверки hisl_0028 в вашей модели.

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

Параметр: DVDetectHISMViolationsHisl_0028
Тип: символьный массив
Значение: 'on' | 'off'
По умолчанию: 'off'

См. также

Model Advisor проверяет высокую целостность Руководств по моделированию