Проверки Simulink Design Verifier

Simulink Design Verifier проверяет обзор

Эти проверки помогают вам подготовить свою модель к анализу Simulink® Design Verifier™. Когда вы осуществляете проверку Simulink Design Verifier, Model Advisor проверяет лицензию Simulink Design Verifier.

Для получения дополнительной информации о Model Advisor смотрите Осуществленные Проверки Model Advisor (Simulink) и Автоматизируйте Выполнение Проверки Model Advisor (Simulink Check).

Проверяйте совместимость с Simulink Design Verifier

ID проверки: mathworks.sldv.compatibility

Идентифицируйте элементы, которые не поддерживает анализ Simulink Design Verifier.

Описание

Эта проверка оценивает вашу модель для совместимости с Simulink Design Verifier.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Несовместимый

Избегайте использования следующих неподдерживаемых программных функций или блоков Simulink в компоненте модели или компоненте модели, который вы хотите анализировать:

Частично совместимый
СовместимыйSimulink Design Verifier может анализировать вашу модель.

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

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

ID проверки: mathworks.sldv.deadlogic

Идентифицируйте логику, которая остается неактивной в процессе моделирования.

Описание

Эта проверка идентифицирует фрагменты вашей модели, которые остаются неактивными в процессе моделирования.

Можно запустить более детальный анализ, который идентифицирует и мертвую логику и активную логику с помощью поиска ошибок проектирования Simulink Design Verifier. Для получения дополнительной информации смотрите, Обнаруживают Мертвую логику, Вызванную Неправильным Значением.

В соответствии с рекомендациями этих увеличений проверки вероятность генерации MISRA C:2012 совместимый код для встраиваемых приложений, а также код, который выполняет CERT C и стандарты CWE

Результаты и рекомендуемые действия

РезультатРекомендуемое действие
Не пройдено, несовместимая модель

Разрешите несовместимость модели. См.:

Также смотрите Несовместимости Указателя с Автоматическим Блокированием.

Мертвая логика найдена в моделиSimulink Design Verifier доказал, что они решение и результаты условия не могут произойти и являются мертвой логикой в модели. Мертвая логика может также быть побочным эффектом заданных ограничений на параметры или задала минимальные и максимальные ограничения на входные порты. В редких случаях мертвая логика может следовать из приближений, выполняемых Simulink Design Verifier. Возможно, что существуют цели, которые не решил этот анализ. Чтобы расширить результаты этого анализа, используйте поиск ошибок проектирования Simulink Design Verifier, чтобы также идентифицировать активную логику. Из Редактора Simulink выберите Apps> Design Verifier> Settings. В окне Configuration Parameters, от Design Verifier> панель Design Error Detection, выбирают Dead logic и Identify active logic.
Мертвая логика, не найденная в моделиSimulink Design Verifier не нашел мертвую логику в модели. Возможно, что существуют цели, которые не решил этот анализ. Чтобы расширить результаты этого анализа, используйте поиск ошибок проектирования Simulink Design Verifier, чтобы также идентифицировать активную логику. Из Редактора Simulink выберите Apps> Design Verifier> Settings. В окне Configuration Parameters, от Design Verifier> панель Design Error Detection, выбирают Dead logic и Identify active logic.

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

Обнаружьте из связанного доступа к массиву

ID проверки: mathworks.sldv.arraybounds

Обнаруживает операции что доступ вне границ индекса массива

Описание

Эта проверка обнаруживает экземпляры из связанного доступа к массиву в Simulink Design Verifier.

В соответствии с рекомендациями этих увеличений проверки вероятность генерации MISRA C:2012 совместимый код для встраиваемых приложений, а также код, который выполняет CERT C, CWE, стандарты ISO/IEC TS 17961.

Результаты и рекомендуемые действия

РезультатРекомендуемое действие
Не пройдено, несовместимая модель

Разрешите несовместимость модели. Смотрите

Также смотрите Несовместимости Указателя с Автоматическим Блокированием.

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

Чтобы просмотреть условия, которые вызывают из связанного доступа к массиву, создайте модель тестовой обвязки. Когда вы симулируете обвязку, входные параметры реплицируют ошибку. Нажмите View test case в отчете Model Advisor.

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

Обнаружьте деление на нуль

ID проверки: mathworks.sldv.divbyzero

Обнаруживает ошибки деления на нуль в вашей модели

Описание

Эта проверка идентифицирует операции в вашей модели то деление на нуль причины ошибки.

В соответствии с рекомендациями этих увеличений проверки вероятность генерации MISRA C:2012 совместимый код для встраиваемых приложений, а также код, который выполняет CERT C, CWE, стандарты ISO/IEC TS 17961.

Результаты и рекомендуемые действия

РезультатРекомендуемое действие
Не пройдено, несовместимая модель

Разрешите несовместимость модели. Смотрите

Также смотрите Несовместимости Указателя с Автоматическим Блокированием.

Деление на нуль найдено в модели

Чтобы просмотреть условия, которые вызывают деление на нуль, создайте модель тестовой обвязки. Когда вы симулируете обвязку, входные параметры реплицируют ошибку. Нажмите View test case в отчете Model Advisor.

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

Обнаружьте целочисленное переполнение

ID проверки: mathworks.sldv.integeroverflow

Обнаруживает ошибки переполнения данных целочисленной или фиксированной точки в вашей модели

Описание

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

В соответствии с рекомендациями этих увеличений проверки вероятность генерации MISRA C:2012 совместимый код для встраиваемых приложений, а также код, который выполняет CERT C, CWE, стандарты ISO/IEC TS 17961.

Результаты и рекомендуемые действия

РезультатРекомендуемое действие
Не пройдено, несовместимая модель

Разрешите несовместимость модели. Смотрите

Также смотрите Несовместимости Указателя с Автоматическим Блокированием.

Целочисленное переполнение найдено в модели

Чтобы просмотреть условия, которые вызывают целочисленное переполнение, создайте модель тестовой обвязки. Когда вы симулируете обвязку, входные параметры реплицируют ошибку. Нажмите View test case в отчете Model Advisor.

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

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

ID проверки: mathworks.sldv.infnan

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

Описание

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

Результаты и рекомендуемые действия

РезультатРекомендуемое действие
Не пройдено, несовместимая модель

Разрешите несовместимость модели. Смотрите

Также смотрите Несовместимости Указателя с Автоматическим Блокированием.

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

Чтобы просмотреть условия, которые вызывают вхождение неличных и NaN значения с плавающей точкой, создайте модель тестовой обвязки. Когда вы симулируете обвязку, входные параметры реплицируют ошибку. Нажмите View test case в отчете Model Advisor.

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

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

ID проверки: mathworks.sldv.subnormal

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

Описание

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

Результаты и рекомендуемые действия

РезультатРекомендуемое действие
Не пройдено, несовместимая модель

Разрешите несовместимость модели. Смотрите

Также смотрите Несовместимости Указателя с Автоматическим Блокированием.

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

Чтобы просмотреть условия, которые вызывают вхождение субнормальных значений с плавающей точкой, создайте модель тестовой обвязки. Когда вы симулируете обвязку, входные параметры реплицируют ошибку. Нажмите View test case в отчете Model Advisor.

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

Обнаружьте заданные нарушения минимального и максимального значения

ID проверки: mathworks.sldv.minmax

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

Описание

Этот анализ проверяет заданные минимальные и максимальные значения (области значений проекта) на промежуточных сигналах в модели и на выходных портах. Если анализ обнаруживает, что сигнал превышает область значений проекта, результаты идентифицируют, где в модели ошибки произошли.

В соответствии с рекомендациями этих увеличений проверки вероятность генерации MISRA C:2012 совместимый код для встраиваемых приложений, а также код, который выполняет CERT C и стандарты CWE.

Результаты и рекомендуемые действия

РезультатРекомендуемое действие
Не пройдено, несовместимая модель

Разрешите несовместимость модели. Смотрите

Также смотрите Несовместимости Указателя с Автоматическим Блокированием.

Нарушение минимума и/или максимума найдено в модели

Чтобы просмотреть условия, которые вызывают нарушение, создайте модель тестовой обвязки. Когда вы симулируете обвязку, входные параметры реплицируют ошибку. Нажмите View test case в отчете Model Advisor.

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

Обнаружьте нарушения прав доступа хранилища данных

ID проверки: mathworks.sldv.dsmaccessviolations

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

Описание

Эта проверка обнаруживает эти нарушения прав доступа хранилища данных:

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

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

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

Результаты и рекомендуемые действия

РезультатРекомендуемое действие
Не пройдено, несовместимая модель

Разрешите несовместимость модели. См.:

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

В отчете Model Advisor нажмите View test case. Программное обеспечение создает модель тестовой обвязки, и блок Signal Builder отображает тест, который реплицирует ошибку.

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

Обнаружьте нарушения входного диапазона блока

ID проверки: mathworks.sldv.blockinputrangeviolations

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

Описание

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

Примечание

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

Результаты и рекомендуемые действия

РезультатРекомендуемое действие
Не пройдено, несовместимая модель

Разрешите несовместимость модели. См.:

Блокируйте найденные нарушения входного диапазона

В отчете Model Advisor нажмите View test case. Программное обеспечение создает модель тестовой обвязки, и блок Signal Builder отображает тест, который реплицирует ошибку.

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

Для просмотра документации необходимо авторизоваться на сайте