Чтобы сгенерировать тесты для вашей модели, используйте следующий рабочий процесс.
Задача | Описание | Для примера смотрите |
---|---|---|
1 | Проверьте, что ваша модель совместима для использования с Simulink® Design Verifier™. | |
2 | Опционально, используйте Советника по вопросам Генерации тестов, чтобы выбрать компоненты модели (атомарные подсистемы и блоки модели) для генерации тестов. Перед генерацией тестов можно использовать результаты лучше изучить модель, особенно большие модели, сложные модели или модели, для которых вы не уверены в совместимости генерации тестов. | |
3 | Если вы имеете объекты Stateflow® в своей модели, в диалоговом окне Configuration Parameters, на Diagnostics> панель Stateflow, устанавливаете Unreachable execution path на | |
4 | Опционально, оснастите свою модель с блоками или функциями MATLAB®, которые задают цели тестирования и условия испытания. | |
5 | Задайте опции, которые управляют, как Simulink Design Verifier генерирует тесты для вашей модели. | |
6 | Выполните анализ Simulink Design Verifier. | Анализируйте модель в качестве примера и повторно анализируйте модель в качестве примера |
7 | Рассмотрите результаты анализа. |