Exponenta Banner
exponenta event banner

Выделенные результаты на модели

Обзор результатов с выделением модели

При анализе модели с помощью Simulink ® Design Verifier™ анализируемые объекты модели автоматически подсвечиваются одним из следующих цветов:

  • Зеленый

  • Красный

  • Оранжевый

  • Серый

Результаты анализа можно просмотреть с первого взгляда, просмотрев объекты, выделенные в редакторе Simulink Editor.

Инспектор результатов Simulink Design Verifier

При подсвечивании модели можно щелкнуть объект, для которого анализ записал результаты. Затем в инспекторе результатов Simulink Design Verifier отображаются подробные результаты анализа для этого объекта.

Автоматическое выделение результатов в модели

Во время анализа Simulink Design Verifier автоматически выделяет объекты модели при обновлении статуса целей. По умолчанию автоматическая подсветка включена. Чтобы отключить подсветку, щелкните Отключить подсветку (Disable Highlighting) в окне Сводка результатов (Results Summary).

В редакторе Simulink на модели отображается подсветка результатов. Если подсвечивание включено, откроется Инспектор результатов (Results Inspector), отображающий сводку статуса для целей анализа.

Примечание

Simulink Design Verifier не выделяет таблицы перехода состояний Stateflow ®. Отчеты Simulink Design Verifier, файлы данных и файлы журналов включают данные анализа для таблиц переходов состояний. С помощью отчета можно перейти к таблицам переходов состояний.

Выделение зеленым цветом на модели

Объекты, выделенные зеленым цветом, имеют следующие значения для каждого типа анализа.

Режим анализаЗеленая подсветка

Обнаружение ошибок конструкции

  • Анализ не обнаружил ошибок переполнения или деления на ноль.

  • Анализ не нашел мертвой логики.

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

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

Генерация тестов

Анализ выявил тестовые случаи, которые удовлетворяют целям теста.

Проверка свойств

Анализ показал, что все цели доказательства являются действительными.

Выделение красным цветом на модели

Объекты, выделенные красным цветом, имеют следующее значение в зависимости от типа анализа.

Режим анализаВыделение красным цветом

Обнаружение ошибок конструкции

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

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

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

  • Анализ обнаружил, по крайней мере, один тестовый случай, который приводит к ошибке доступа к массиву.

Генерация тестов

Анализ не удовлетворял определенным целям испытаний.

Проверка свойств

Анализ опроверг цель доказательства и создал контрпример, который фальсифицировал эту цель.

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

Выделение оранжевого цвета на модели

Объекты, выделенные оранжевым цветом, имеют следующее значение в зависимости от типа анализа.

Режим анализаОранжевое выделение

Обнаружение ошибок конструкции

Для выделенного объекта модели:

  • Анализ не определил хотя бы одну цель обнаружения ошибки конструкции. Такая ситуация может возникнуть в следующих случаях:

    • Анализ все еще продолжается.

    • Время анализа истекло.

    • Анализ не может определить цель обнаружения ошибки конструкции из-за деления на ноль или нелинейной арифметики.

    • Программа не может определить цель обнаружения ошибки конструкции из-за тупика. Дополнительные сведения см. в разделе Обработка несовместимости с автоматической остановкой.

    • Программа не может определить цель обнаружения ошибок конструкции из-за ограничений модуля анализа. Например, если анализ сталкивается с неограниченным циклом, он выполняет аппроксимацию. Дополнительные сведения см. в разделе Аппроксимации.

Генерация тестов

Для выделенного объекта модели:

  • Анализ не определил хотя бы одну цель теста. Такая ситуация может возникнуть в следующих случаях:

    • Анализ все еще продолжается.

    • Время анализа истекло.

    • Анализ не может определить цель теста из-за деления на ноль или нелинейную арифметику.

    • Программа не может определить цель теста из-за тупика. Дополнительные сведения см. в разделе Обработка несовместимости с автоматической остановкой.

    • Программа не может определить цель теста из-за ограничений модуля анализа. Например, если анализ сталкивается с неограниченным циклом, он выполняет аппроксимацию. Дополнительные сведения см. в разделе Аппроксимации.

Проверка свойств

Для выделенного объекта модели:

  • Анализ не определил хотя бы одну цель доказательства. Такая ситуация может возникнуть в следующих случаях:

    • Анализ все еще продолжается.

    • Время анализа истекло.

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

    • Анализ не может определить цель доказательства из-за деления на ноль или нелинейную арифметику.

    • Программа не может определить цель доказательства из-за тупика. Дополнительные сведения см. в разделе Обработка несовместимости с автоматической остановкой.

    • Программа не может определить цель проверки из-за ограничений механизма анализа. Например, если анализ сталкивается с неограниченным циклом, он выполняет аппроксимацию. Дополнительные сведения см. в разделе Аппроксимации.

Выделение серого на модели

Объекты, выделенные серым цветом, имеют следующее значение.

Режим анализаВыделение серого цвета

  • Обнаружение ошибок конструкции

  • Генерация тестов

  • Проверка свойств

Объект модели не был частью анализа.

Документация по Simulink Design Verifier

Поддержка