Создайте обратные тесты с использованием расширенного 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, генерируя тесты, которые избегают эффектов маскировки из нисходящих блоков.

Похожие темы