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

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

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

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

Имеется имитационная модель с замкнутым контуром, в которой для включения контроллера используется блок модели. Сначала запишите данные из блока «Модель», а затем проанализируйте модель, на которую ссылается блок «Модель». Используя этот метод, тестовые примеры для контроллера могут реалистично отражать поведение непрерывного времени, ожидаемое в системе с замкнутым контуром.

Пример расширения существующих тестовых примеров для системы с замкнутым контуром см. в разделе Расширение тестовых примеров для системы с замкнутым контуром.

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

Пример расширения существующих тестовых примеров для измененных моделей см. в разделе Расширение тестовых примеров для измененной модели.

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