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