Обратные тесты или тесты эквивалентности сравнивают результаты нормального моделирования с результатами сгенерированного кода, полученными при моделировании программного обеспечения в цикле (SIL), процессора в цикле (PIL) или аппаратного обеспечения в цикле (HIL). В Simulink ® Test™, использующих расширенный MCDC, можно создавать параллельные тесты.
Если требуется протестировать тестируемый компонент или подсистемы в Simulink Test, можно воспользоваться мастером Создать тест для компонента, выбрав Создать > Создать тест для компонента модели Диспетчер тестов Simulink Test Manager, Использовать Design Verifier для создания сценариев ввода теста. Дополнительные сведения см. в разделе Создание тестов и тестовых жгутов для компонента или модели (Simulink Test).
Чтобы сравнить результаты выполнения компонента в двух различных режимах моделирования, на вкладке «Стратегия проверки» мастера выберите «Выполнить тестирование». Для тестирования SIL атомной подсистемы или повторно используемой библиотечной подсистемы, подсистема или библиотека, содержащая подсистему, уже должна иметь сгенерированный код. Дополнительные сведения см. в разделе Расширенное покрытие MCDC в Simulink Design Verifier.
Если, в разделе Выполнение тестирования «back-to-back» выберите Software-in-the-Loop или Processor-in-the-Loop для Simulation2 появляется опция Задать цель покрытия модели как расширенный MCDC. Усовершенствованный MCDC расширяет охват принятия решений, генерируя тестовые случаи, которые избегают маскирования эффектов от нисходящих блоков.