Предположим, что у вас есть модель, которую вы уже проанализировали с помощью Simulink® Проектируйте Verifier™, и вы редактируете модель. Исходный тестовый набор может не записать 100% охват для измененной модели. Повторно проанализируйте измененную модель, чтобы убедиться, что она удовлетворяет всем новым целям тестирования. Вместо повторного анализа всей модели, вы фокусируете новый анализ только на измененной части модели. Таким образом, вы используете тесты, созданные для исходной модели, расширяя их, чтобы удовлетворить любым новым целям.
Этот пример использует sldvdemo_cruise_control модель. Вы анализируете модель и генерируете тесты. Затем вы анализируете измененную версию этой модели, sldvdemo_cruise_control_mod, расширение тестов от исходного анализа. Анализ возвращает полный тестовый набор для новой модели.
Анализируйте sldvdemo_cruise_control моделирует и генерирует тесты, которые достигают 100% охвата.
Откройте модель примера:
Чтобы запустить анализ Simulink Design Verifier для sldvdemo_cruise_control дважды кликните Run Simulink Design Verifier блок.
Анализ удовлетворяет 34 целям тестирования для sldvdemo_cruise_control модель. Программное обеспечение сохраняет полученный файл данных в подпапке MATLAB® Текущая папка:
sldv_output\sldvdemo_cruise_control\sldvdemo_cruise_control_sldvdata.mat
В следующем разделе, когда вы анализируете измененную модель, этот файл данных задает начальные тесты, которые вы расширяете.
Закройте sldvdemo_cruise_control модель и все файлы, созданные анализом. При запросе не сохраняйте изменения, внесенные в модель.
The sldvdemo_cruise_control_mod модель является измененной версией sldvdemo_cruise_control. Подсистема Контроллера содержит блок Насыщения, который указывает, что целевая скорость не может превышать 70.
Откройте измененную модель и проанализируйте ее, расширяя тесты, которые вы сгенерировали при анализе sldvdemo_cruise_control модель:
Откройте модель примера, измененную версию sldvdemo_cruise_control:
Дважды кликните Подсистему Контроллера, чтобы увидеть изменение исходной модели, блока Насыщения, который задает максимальную скорость:
Закройте подсистему Контроллера.
На вкладке Design Verifier нажмите Test Generation Settings.
В диалоговом окне Параметров конфигурации на панели Test Generation под Existing test cases выберите Extend existing test cases.
В поле Data file щелкните Browse и перейдите к MAT-файлу, созданному в Текущей папке MATLAB при анализе исходной модели:
sldv_output\sldvdemo_cruise_control\sldvdemo_cruise_control_sldvdata.mat
Очистить Ignore objectives satisfied by existing test cases.
Когда вы очищаете эту опцию, анализ включает тесты, записанные в файл sldvdemo_cruise_control_sldvdata.mat в окончательном тестовом наборе.
Щелкните Apply, чтобы сохранить эти настройки.
Чтобы начать анализ, нажмите Generate Tests.
Анализ сначала загружает 34 цели, удовлетворенные начальными тестами. Затем он добавляет дополнительные временные шаги к этим тестам и пытается выполнить любые отсутствующие цели.
В окне Сводных данных результатов щелкните Generate detailed analysis report.
Анализ выполнил в общей сложности 38 удовлетворенных целей для sldvdemo_cruise_control_mod модель. Анализ выполнил четыре дополнительные цели, которые соответствуют блоку Насыщения.
