Simulink^® Coverage™ выполняет анализ покрытия модели и кода, который измеряет полноту проверки в моделях и сгенерированном коде. Он применяет отраслевые стандартные метрики, такие как решение, условие, измененное состояние/покрытие (MCDC) и реляционное граничное покрытие для оценки эффективности проверки симуляции в моделях, ПО в цикле (SIL) и по процессору в цикле (PIL). Можно использовать недостающее покрытие данные, чтобы найти погрешности в проверке, недостающие требования или непредусмотренную функциональность.

Simulink Coverage выпускает интерактивные отчеты, показывающие, какую часть вашей модели, C/C + + S-функций, MATLAB^® функций и кода, сгенерированного Embedded Coder^® была осуществлена. Можно выделить результаты покрытия в блоках и подсистемах, чтобы визуализировать погрешности в проверке. Чтобы оценить полноту проверки, можно накопить данные о покрытии из нескольких тестовых запусков, а также просмотреть покрытие, достигнутое посредством модульных и системных тестов. Результаты покрытия можно проследить до требований и тестов. Можно применить фильтры, чтобы исключить блоки из покрытия и обосновать недостающее покрытие в отчетах.

Поддержка отраслевых стандартов доступна через DO Qualification Kit и IEC Certification Kit.