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

Вы сталкиваетесь с задержками, пытающимися анализировать вашу модель, или вы видите неполные результаты. Это может произойти, если ваша модель имеет какую-либо из следующих характеристик:

Анализ модели и рассмотрение существующих тестов позволяют вам сфокусировать анализ на тех частях модели, которые затрудняют, чтобы анализировать. Можно объединить сгенерированные тесты, чтобы создать полный тестовый набор для полной модели.

Для примера расширения существующих тестов для модели, которая использует временную логику, смотрите, Расширяют Тесты для Модели с Временной Логикой.

У вас есть имитационная модель с обратной связью, которая использует блок Model, чтобы включать контроллер. Во-первых, регистрируйте данные от блока Model и затем анализируйте модель, на которую ссылается блок Model. Используя этот метод, тесты для контроллера могут реалистично отразить непрерывное поведение времени, ожидаемое в системе с обратной связью.

Для примера расширения существующих тестов для системы с обратной связью смотрите, Расширяют Тесты для Системы С обратной связью.

Вы изменяете существующую модель, для которой вы уже сгенерировали тесты. В этой ситуации можно повторно анализировать модель, не используя результаты анализа от исходной версии модели. Объединенные тесты дают вам полный тестовый набор для новой модели.

Для примера расширения существующих тестов для модифицированных моделей смотрите, Расширяют Тесты для Модифицированной Модели.

Вы применяете настройки параметра или обновляете ограничительные значения параметра существующей модели, для которой вы сгенерировали тесты. В этой ситуации можно повторно анализировать модель путем многократного использования ранее сгенерированных тестов и расширить их, чтобы достигнуть полного покрытия модели. Для примера расширения существующих тестов, когда вы изменяете настройки параметра, смотрите, Расширяют Существующие тесты После Применения Настроек Параметра.