Можно выполнить множество типов тестов для моделей, например сравнение результатов тестов с опорной структурой; сравнение результатов между различными версиями MATLAB ®; или выполнение тестов программного обеспечения в цикле (SIL), аппаратного обеспечения в цикле (HIL) или генерируемого кода процессора в цикле (PIL). Для увеличения пропускной способности больших наборов тестов, итераций и моделей Simulink ® можно использовать параллельное выполнение. Сбор данных об охвате тестирования позволяет оценить степень расширения тестов и степень полного соответствия требованиям. Чтобы расширить охват, можно добавить тестовые примеры или создать тестовые примеры с помощью Simulink Design Verifier™. Для отладки тестов и определения требований, не связанных с тестом, можно использовать срезатель модели.
