Когда вы анализируете модель при помощи Simulink® Design Verifier™, анализируемые объекты модели автоматически подсвечены в одном из этих цветов:
Зеленый
Красный
Оранжевый
Серый
Можно рассмотреть результаты анализа сразу путем просмотра объектов, которые подсвечены в Редакторе Simulink.
Когда модель подсвечена, можно кликнуть по объекту, для которого анализ записал результаты. Инспектор Результатов 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 другие объекты в вашей модели как красные.
Объекты, которые подсвечены в оранжевом, имеют следующее значение, в зависимости от аналитического типа.
Аналитический режим | Оранжевое выделение |
---|---|
Поиск ошибок проектирования | Для подсвеченного объекта модели,
|
Генерация тестов | Для подсвеченного объекта модели,
|
Доказательство свойства | Для подсвеченного объекта модели,
|
Объекты, которые подсвечены в сером, имеют следующее значение.
Аналитический режим | Серое выделение |
---|---|
| Объект модели не был частью анализа. |