Создайте обратные тесты с использованием расширенного MCDC

Обратные тесты или тесты эквивалентности сравнивают результаты нормальных симуляций с результатами сгенерированного кода из симуляций «программное обеспечение в цикл» (SIL), «процессор в цикл» (PIL) или «оборудование в цикл» (HIL). Вы можете сгенерировать обратные тесты в Simulink® Test™, которые используют Enhanced MCDC.

Настройте входные тестовые воздействия и стратегию верификации

Если вы хотите протестировать тестируемый компонент или подсистемы в Simulink Test, можно использовать Create Test for Component wizard, выбрав New > Create Test for Model Component Simulink Test Manager Use Design Verifier to generate test input scenarios. Для получения дополнительной информации см. «Генерация тестов и тестовых обвязок для компонента или модели» (Simulink Test).

Чтобы сравнить результаты выполнения компонента в двух различных режимах симуляции, выберите Perform back-to-back testing на вкладке Verification Strategy мастера. Для проверки SIL атомарной подсистемы или повторно используемой подсистемы библиотеки подсистема или библиотека, содержащая подсистему, должны уже иметь сгенерированный код. Дополнительные сведения см. в разделе Расширенное покрытие MCDC в Simulink Design Verifier.

Если, под Perform back-to-back testing вы выбираете Software-in-the-Loop или Processor-in-the-Loop для Simulation2 появляется опция Покрытия модели Задать цель как Расширенный MCDC ". Расширенный MCDC расширяет Decision Coverage, генерируя тесты, которые избегают эффектов маскировки из нисходящих блоков.

Похожие темы

Для просмотра документации необходимо авторизоваться на сайте