Программное обеспечение Simulink® Design Verifier™ может анализировать вашу модель, использующую ранее сгенерированные тесты, которые вы задаете. Можно использовать эту функцию в следующих ситуациях:
Вы сталкиваетесь с задержками, пытающимися анализировать вашу модель, или вы видите неполные результаты. Это может произойти, если ваша модель имеет какую-либо из следующих характеристик:
Временная логика
Большие счетчики
Объекты модели, которые трудно протестировать должный объединить или нелинейная логика
Анализ модели и рассмотрение существующих тестов позволяют вам сфокусировать анализ на тех частях модели, которые трудно анализировать. Можно объединить сгенерированные тесты, чтобы создать полный тестовый набор для полной модели.
Для примера расширения существующих тестов для модели, которая использует временную логику, смотрите, Расширяют Тесты для Модели с Временной Логикой.
У вас есть имитационная модель с обратной связью, которая использует блок Model, чтобы включать контроллер. Во-первых, регистрируйте данные от блока Model и затем анализируйте модель, на которую ссылается блок Model. Используя этот метод, тесты для контроллера могут реалистично отразить непрерывное поведение времени, ожидаемое в системе с обратной связью.
Для примера расширения существующих тестов для системы с обратной связью смотрите, Расширяют Тесты для Системы С обратной связью.
Вы изменяете существующую модель, для которой вы уже сгенерировали тесты. В этой ситуации можно повторно анализировать модель, не используя результаты анализа от исходной версии модели. Объединенные тесты дают вам полный тестовый набор для новой модели.
Для примера расширения существующих тестов для измененных моделей смотрите, Расширяют Тесты для Измененной Модели.
Когда вы конфигурируете Simulink Design Verifier, чтобы обработать параметры как переменные в его анализе, вы не можете также использовать анализ, чтобы расширить существующие тесты. В Analysis> Design Verifier> Options, если вы задаете свою модель, чтобы расширить существующие тесты с Data file и применить настройки параметра с Parameter configuration file, когда вы пытаетесь выполнить анализ Simulink Design Verifier, программное обеспечение сообщает, что ваша модель несовместима. Это происходит, потому что существующие тесты не включают соответствующие значения параметров.
Используйте следующий рабочий процесс для расширения существующих тестов во время анализа генерации тестов:
Создайте стартовые тесты.
Регистрируйте стартовые тесты.
Расширьте существующие тесты во время анализа генерации тестов.
Проверьте, что вы создали полный тестовый набор.
Примеры в этой категории используют некоторых или все эти задачи при расширении существующих тестов во время анализа.
