Предположим, что у вас есть модель, которую вы уже проанализировали с помощью Simulink ® Design Verifier™, и вы изменяете модель. Исходный набор тестов может не регистрировать 100% покрытия для измененной модели. Повторно проанализируйте модифицированную модель, чтобы убедиться, что она удовлетворяет всем новым целям испытания. Вместо повторного анализа всей модели новый анализ фокусируется только на измененной части модели. Таким образом, можно использовать тестовые примеры, созданные для исходной модели, расширяя их для удовлетворения любых новых целей.
В этом примере используется sldvdemo_cruise_control модель. Анализ модели и создание тестовых примеров. Затем вы анализируете измененную версию этой модели, sldvdemo_cruise_control_mod, расширение тестовых случаев из исходного анализа. Анализ возвращает полный набор тестов для новой модели.
Проанализируйте sldvdemo_cruise_control моделируют и генерируют тестовые примеры, которые достигают 100% покрытия.
Откройте пример модели:
Запуск анализа Simulink Design Verifier для sldvdemo_cruise_control дважды щелкните на блоке «Выполнить проверку проекта Simulink».
Анализ удовлетворяет 34 целям испытаний для sldvdemo_cruise_control модель. Программа сохраняет полученный файл данных в подпапке папки MATLAB ® Current Folder:
sldv_output\sldvdemo_cruise_control\sldvdemo_cruise_control_sldvdata.mat
В следующем разделе при анализе измененной модели в этом файле данных указываются начальные контрольные примеры, которые продлеваются.
Закрыть окно sldvdemo_cruise_control модель и все файлы, созданные в результате анализа. По запросу не сохраняйте изменения, внесенные в модель.
sldvdemo_cruise_control_mod модель является измененной версией sldvdemo_cruise_control. Подсистема контроллера содержит блок насыщения, который указывает, что целевая скорость не может превышать 70.
Откройте измененную модель и проанализируйте ее, расширив контрольные примеры, созданные при анализе sldvdemo_cruise_control модель:
Откройте пример модели, измененную версию sldvdemo_cruise_control:
Дважды щелкните подсистему контроллера, чтобы увидеть изменение исходной модели, блока насыщения, который задает максимальную скорость:
Закройте подсистему контроллера.
На вкладке «Design Verifier» выберите «Test Generation Settings».
В диалоговом окне «Параметры конфигурации» на панели «Создание теста» в разделе «Существующие тестовые примеры» выберите «Расширить существующие тестовые примеры».
В поле Файл данных (Data file) щелкните Обзор (Browse) и перейдите к MAT-файлу, созданному в текущей папке MATLAB при анализе исходной модели:
sldv_output\sldvdemo_cruise_control\sldvdemo_cruise_control_sldvdata.mat
Очистить Игнорировать цели, удовлетворяющие существующим тестовым случаям.
При снятии этой опции анализ включает в себя контрольные случаи, записанные в файле. sldvdemo_cruise_control_sldvdata.mat в финальном наборе тестов.
Нажмите кнопку Применить, чтобы сохранить эти настройки.
Чтобы начать анализ, щелкните Создать тесты (Generate Tests).
Анализ сначала загружает 34 цели, удовлетворяющие первоначальным тестовым случаям. Затем он добавляет дополнительные временные шаги к этим тестовым случаям и пытается удовлетворить любые отсутствующие цели.
В окне Сводка результатов (Results Summary) щелкните Создать подробный отчет об анализе (Generate detailed analysis
Анализ удовлетворил в общей сложности 38 удовлетворенных целей для sldvdemo_cruise_control_mod модель. Анализ удовлетворил четырем дополнительным целям, которые соответствуют блоку Насыщения.
