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

1

Проверьте, что ваша модель совместима для использования с Simulink^® Design Verifier™.

Проверяйте совместимость модели примера

2

Опционально используйте Генерация Тестов Advisor, чтобы выбрать компоненты модели (атомарные подсистемы и блоки модели) для генерации тестов. Перед генерацией тестов можно использовать результаты, чтобы лучше изучить вашу модель, особенно большие модели, сложные модели или модели, для которых вы не уверены в совместимости генерации тестов.

Используйте Генерация Тестов Advisor для идентификации анализируемых компонентов

3

Если у вас есть Stateflow^® объекты в модели, в диалоговом окне Параметры конфигурации, на панели Diagnostics > Stateflow, задайте Unreachable execution path error.

4

Опционально измерьте свою модель блоками или MATLAB^® функции, которые определяют цели тестирования и условия тестирования.

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

5

Задайте опции, которые управляют тем, как Simulink Design Verifier генерирует тесты для вашей модели.

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

6

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

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

7

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

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