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

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

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

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

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

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

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

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

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