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