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

1

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

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

2

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

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

3

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

4

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

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

5

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

Сконфигурируйте опции генерации тестов

6

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

Анализируйте модель в качестве примера и повторно анализируйте модель в качестве примера

7

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

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