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

Обзор результатов с подсветкой модели

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

  • Зеленый

  • Красный

  • Оранжевый

  • Серый

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

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

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

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

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

В редакторе Simulink появляется подсветка результатов на модели. Когда подсветка включена, Inspector результатов открывает отображение сводных данных статуса для целей анализа.

Примечание

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

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

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

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

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

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

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

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

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

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

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

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

Анализ обнаружил все цели доказательства как действительные.

Красная подсветка на модели

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

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

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

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

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

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

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

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

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

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

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

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

Оранжевая подсветка на модели

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

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

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

Для подсвеченного объекта модели,

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

    • Анализ все еще прогресс.

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

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

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

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

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

Для подсвеченного объекта модели,

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

    • Анализ все еще прогресс.

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

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

    • Программа не может решить цель тестирования из-за упрямства. Для получения дополнительной информации см. Раздел «Несовместимость указателей с автоматическим упругостью».

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

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

Для подсвеченного объекта модели,

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

    • Анализ все еще прогресс.

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

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

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

    • Программа не может решить цели доказательства из-за упрямства. Для получения дополнительной информации см. Раздел «Несовместимость указателей с автоматическим упругостью».

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

Подсветка серого цвета на модели

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

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

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

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

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

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

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

Поддержка

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