Запустите анализ поиска ошибок проектирования

Рабочий процесс для обнаружения ошибок проектирования

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

Проверьте, что ваша модель совместима с программным обеспечением Simulink^® Design Verifier™.
Если вы имеете объекты Stateflow^® в своей модели, в диалоговом окне Configuration Parameters, на Diagnostics> панель Stateflow, устанавливаете Unreachable execution path на error.
Задайте опции, которые управляют, как Simulink Design Verifier обнаруживает ошибки проектирования в вашей модели.
Выполните анализ Simulink Design Verifier.
Рассмотрите результаты анализа.

Примечание

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

Изучите результаты анализа

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

Цвет подсветки объекта модели	Результаты анализа
Зеленый	Одно из следующего: Анализ не нашел ошибки деления на нуль или переполнение. Анализ не нашел мертвую логику. Анализ не нашел промежуточные или выходные сигналы вне области значений заданных пользователями минимальных и максимальных ограничений. Анализ не нашел из связанных ошибок доступа к массиву. Примечание Если ваш проект содержит по крайней мере один объект, что красные подсветки Simulink Design Verifier, другие объекты в вашей модели, которые подсвечены зеленые, могут также содержать дальнейшие ошибки проектирования. Если объект в вашем проекте вызывает ошибки времени выполнения, Simulink Design Verifier не может смочь определить дальнейшие ошибки на объектах, которые являются нисходящими из или используют результаты объекта, который вызывает ошибки времени выполнения. Разрешите ошибки, которые вызывают начальное красное выделение и повторно выполняют анализ, чтобы определить, подсветит ли Simulink Design Verifier также другие объекты в вашей модели как красные.
Красный	Одно из следующего: Анализ нашел по крайней мере один тест, который вызывает ошибки деления на нуль или переполнение. Анализ нашел мертвую логику. Анализ, найденный промежуточными или выходными сигналами вне области значений заданных пользователями минимальных и максимальных ограничений. Анализ нашел по крайней мере один тест, который вызывает из связанной ошибки доступа к массиву.
Оранжевый	По крайней мере для одной цели анализ не мог определить, имеет ли модель мертвую логику, ошибки переполнения, ошибки деления на нуль, сигналы вне пользовательской заданной области, или из связанных ошибок доступа к массиву. Эта ситуация может произойти когда: Анализ испытывает таймаут. Программное обеспечение не может определить, произошла ли ошибка или нет. Этот результат происходит из-за: Автоматические блокирующие ошибки; для получения дополнительной информации смотрите Несовместимости Указателя с Автоматическим Блокированием. Ограничения аналитического механизма.
Серый	Объект модели не был частью анализа.

Окно Simulink Design Verifier Results первоначально отображает сводные данные результатов анализа, как в следующем примере.

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

Совет

По умолчанию окно Simulink Design Verifier Results всегда является самым верхним видимым окном. Чтобы изменить те настройки, кликните по значку и в контекстном меню, очистите галочку рядом с Always on top.

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

Если вы закрываете результаты анализа, чтобы зафиксировать причину ошибок в вашей модели, вы можете должны быть повторно рассмотреть результаты анализа. Пока ваша модель остается открытой, можно просмотреть результаты новых результатов анализа в Окне Сводных данных Результатов.

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

Чтобы просмотреть последние результаты, на вкладке Design Verifier, в разделе Review Results, нажимают Results Summary.

Для любого анализа Simulink Design Verifier, из Окна Сводных данных Результатов, можно выполнить следующие задачи:

Подсветите результаты анализа на модели.
Сгенерируйте отчет детального анализа.
Создайте модель тестовой обвязки, или если модель тестовой обвязки уже существует, откройте его.
Примечание
Если никакие цели не сфальсифицированы, вы не можете создать модель тестовой обвязки.
Просмотрите файл данных.
Просмотрите файл журнала.

Проверяйте На Ошибки проектирования с помощью Model Advisor

Можно выполнить анализ поиска ошибок проектирования от Model Advisor, который особенно полезен, если необходимо выполнить другие проверки модели. Чтобы анализировать вашу модель от Model Advisor, следуйте за этим высокоуровневым рабочим процессом:

Задайте опции, которые управляют, как Simulink Design Verifier обнаруживает ошибки проектирования в вашей модели.
Откройте Model Advisor.
От системной иерархии выберите компонент модели или компонент модели, который вы хотите анализировать
Расширьте аналитические элементы поиска ошибок проектирования. Ищите Simulink Design Verifier или под By Product или под By Task.
Если вы не проверяли свою модель на совместимость, включите проверку совместимости на Simulink Design Verifier.
Выберите проверки поиска ошибок проектирования, которые что вы хотите осуществить.
Осуществите выбранные проверки.
Рассмотрите результаты анализа.

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