В этом примере показано, как создать и запустить обратный тест с помощью расширенного 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. Сгенерируйте код.
На вкладке Apps нажмите Embedded Coder, а затем Generate Code.
Embedded Coder генерирует отчет генерации кода для модели. Закройте сгенерированное окно отчета. Simulink Design Verifier использует информацию о записанных сигналах из сгенерированного кода, чтобы сконфигурировать сайты обнаружения для расширенных сайтов обнаружения MCDC. Если вы не генерируете код, Simulink Design Verifier использует информацию о тестовых записанных сигналах от модели, чтобы сконфигурировать сайты обнаружения для расширенного MCDC.
Выполните следующие шаги, чтобы создать обратные тесты в Simulink Test Manager:
1. Чтобы открыть вкладку Simulink Test, на вкладке Приложений, в разделе Верификации модели, Валидации и Test, нажмите Simulink Test.
2. Чтобы открыть Диспетчер тестов, на вкладке Тесты, нажмите Simulink Test Manager.
3. Щелкните Создать (New) > Проверить для компонента модели (Test for Model Component). Откроется мастер создания теста для компонента модели.
4. Чтобы задать верхнюю часть для тестирования, заполните поля нажатием кнопки Использовать выбранный компонент модели рядом с полем Верхняя часть.
5. Нажмите кнопку Далее, чтобы указать, как использовать Simulink Design Verifier для генерации тестовых воздействий. Выберите Использовать Проект Verifier, чтобы сгенерировать тестовое воздействие сценарии. Эта опция запускает модель и создает входы с помощью Simulink Design Verifier.
6. Нажмите кнопку Далее, чтобы выбрать метод проверки. Выберите Выполнить обратную проверку. Для Simulation1 выберите Normal. Для Simulation2 выберите Software-in-the-Loop (SIL). Выберите Задать цели покрытия модели как Расширенный MCDC.
7. Нажмите кнопку Далее, чтобы указать вход, формат и место сохранения тестовых данных и сгенерированных тестов. Для параметра «Задать формат файла» выберите MAT. Для параметра «Укажите местоположение для сохранения тестовых данных» используйте имя местоположения по умолчанию.
8. Нажмите Готово. Simulink Test создает тесты и закрывает мастер.
Чтобы запустить обратный тест, нажмите Run in Simulink Test Manager.
Чтобы завершить пример, закройте модель.
bdclose(model);