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