В этом примере показано, как создать и запустить тест «назад-назад» с использованием усовершенствованного MCDC. Усовершенствованный MCDC анализирует обнаруживаемость каждого объекта в модели и генерирует не маскирующие тестовые примеры для каждого объекта. Дополнительные сведения см. в разделе Расширенное покрытие MCDC в Simulink Design Verifier.
Обратные тесты в Simulink ® Test™ сравнивают результаты обычного моделирования с результатами, полученными при моделировании программного обеспечения в цикле, процессора в цикле или аппаратного обеспечения в цикле.
1. Откройте модель:
model = ('sldvSliceCruiseControl');
open_system(model);
2. Подготовьте модель для генерации кода и ведения журнала.
set_param(model, 'ProdHWDeviceType', 'Intel->x86-64 (Linux 64)'); set_param(model, 'ProdLongLongMode', 'on'); set_param(model, 'SaveOutput', 'on'); set_param(model, 'SignalLogging', 'on'); set_param(model, 'SaveFormat', 'Dataset');
Примечание.Можно также опционально пометить внутренние сигналы в модели как записанные сигналы с тестовой точкой (например, sldvSliceCruiseControl/CruiseControlMode/opMode/Switch,), чтобы эти сигналы были приоритетными в качестве участков обнаружения во время расширенного анализа MCDC. См. раздел Настройка сайтов обнаружения с использованием протоколированных сигналов с тестовой точкой.
3. Создайте код.
На вкладке Приложения щелкните Встроенный кодер, а затем щелкните Создать код.
Встроенный кодер генерирует отчет о создании кода для модели. Закройте созданное окно отчета. Simulink Design Verifier использует информацию о зарегистрированных сигналах из сгенерированного кода для настройки сайтов обнаружения для улучшенных сайтов обнаружения MCDC. Если код не создается, Simulink Design Verifier использует информацию о записанных в журнал тестовых сигналах из модели для настройки сайтов обнаружения для расширенного MCDC.
Выполните следующие действия для создания параллельных тестов в Simulink Test Test Manager:
1. Чтобы открыть вкладку Simulink Test, на вкладке Apps, в разделе Model Verification, Validation и Test щелкните Simulink Test.
2. Чтобы открыть Диспетчер тестов, на вкладке Тесты щелкните Диспетчер тестов Simulink.
3. Щелкните Создать (New) > Проверить для компонента модели (Test for Model Component). Откроется мастер Создать тест для компонента модели (Create Test for Model Component).
4. Чтобы задать тестируемую верхнюю модель, заполните поля, нажав кнопку Использовать текущий выбранный компонент модели рядом с полем Верхняя модель.
5. Нажмите кнопку «Далее», чтобы указать, как использовать Simulink Design Verifier для создания тестовых входных данных. Выберите Use Design Verifier для создания сценариев тестового ввода. Эта опция запускает модель и создает входные данные с помощью Simulink Design Verifier.
6. Нажмите кнопку Далее, чтобы выбрать метод тестирования. Выберите Выполнить обратное тестирование. Для Simulation1 выберите Normal. Для Simulation2 выберите Software-in-the-Loop (SIL). Выберите параметр Set Model coverage targets as Enhanced MCDC.
7. Нажмите кнопку «Далее», чтобы указать источник ввода, формат и место сохранения тестовых данных и созданных тестов. В поле «Формат файла» выберите «MAT». В поле «Укажите местоположение для сохранения тестовых данных» используйте имя местоположения по умолчанию.
8. Щелкните Готово (Done). Simulink Test создает тестовые примеры и закрывает мастер.
Для выполнения теста «back-to-back» нажмите кнопку «Run» в Simulink Test Manager.
Чтобы завершить пример, закройте модель.
bdclose(model);