Exponenta Banner

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

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

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

  • Зеленый

  • Красный

  • Оранжевый

  • Серый

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

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

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

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

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

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

Примечание

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

Зеленое выделение на модели

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

Аналитический режимЗеленое выделение

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

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

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

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

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

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

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

Доказательство свойства

Анализ нашел все цели доказательства как допустимые.

Красное выделение на модели

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

Аналитический режимКрасное выделение

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

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

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

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

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

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

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

Доказательство свойства

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

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

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

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

Аналитический режимОранжевое выделение

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

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

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

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

    • Анализ испытывает таймаут.

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

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

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

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

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

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

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

    • Анализ испытывает таймаут.

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

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

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

Доказательство свойства

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

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

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

    • Анализ испытывает таймаут.

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

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

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

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

Серое выделение на модели

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

Аналитический режимСерое выделение

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

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

  • Доказательство свойства

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

Документация Simulink Design Verifier
Поддержка