Рабочий процесс для генерации теста

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

ЗадачаОписаниеДля примера смотрите

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

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

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

Похожие темы

Для просмотра документации необходимо авторизоваться на сайте