Simulink ® Coverage™ выполняет анализ покрытия модели и кода, который измеряет полноту тестирования в моделях и сгенерированном коде. Для оценки эффективности имитационного тестирования в моделях, программном обеспечении в цикле (SIL) и процессоре в цикле (PIL) применяются стандартные отраслевые показатели, такие как решение, условие, модифицированное покрытие условий/решений (MCDC) и покрытие реляционных границ. Отсутствующие данные покрытия можно использовать для поиска пробелов в тестировании, отсутствующих требованиях или непреднамеренных функциональных возможностях.
Simulink Coverage создает интерактивные отчеты, показывающие, какая часть модели, C/C + + S-функций, функций MATLAB ® и кода, созданного Embedded Coder ®, была выполнена. Можно выделить результаты покрытия в блоках и подсистемах для визуализации пробелов в тестировании. Для оценки полноты тестирования можно накапливать данные покрытия из нескольких тестовых прогонов, а также просматривать покрытие, достигнутое посредством модульных и системных тестов. Результаты охвата можно проследить по требованиям и тестам. Можно применить фильтры, чтобы исключить блоки из покрытия и обосновать отсутствие покрытия в отчетах.
Поддержка отраслевых стандартов обеспечивается комплектом для сертификации DO и комплектом для сертификации IEC.
Изучение основ покрытия Simulink
Измерение модели и покрытия кода для указания непроверенных элементов конструкции
Создание отчетов о покрытии, просмотр выделения покрытия в модели, фильтрация результатов сбора покрытия
Использование сценария или функции для автоматизации сбора покрытия
Использование продуктов Simulink для тестирования моделей и кода, проверки ошибок проектирования, проверки соответствия стандартам, измерения покрытия и проверки системы
Квалификация покрытия Simulink для сертификации DO и IEC