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

1

Убедитесь, что модель совместима с Simulink ® Design Verifier™ .

Проверка совместимости примерной модели

2

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

Использование помощника по созданию тестов для определения анализируемых компонентов

3

Если в модели имеются объекты Stateflow ®, в диалоговом окне Параметры конфигурации (Configuration Parameters) на панели Диагностика (Diagnostics) > Поток состояния (Stateflow) задайте для параметра Недоступный путь выполнения значение error.

4

Кроме того, можно измерить модель с помощью блоков или функций MATLAB ®, определяющих цели и условия тестирования.

Настройка генерации тестов

5

Укажите параметры, управляющие тем, как Simulink Design Verifier создает тестовые примеры для модели.

Настройка параметров генерации тестов

6

Выполните анализ Simulink Design Verifier.

Анализ модели примера и повторный анализ модели примера

7

Просмотрите результаты анализа.

Обзор результатов анализа