Начало работы с Simulink Coverage

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

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

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

Примеры

• Основной рабочий процесс Simulink Coverage
  

  Изучите основной рабочий процесс Simulink Coverage.

• Simulink Coverage в сквозной систематической верификации
  

  Узнать, как Simulink Coverage помогает вам увеличить доверие к своему проекту посредством сквозной систематической верификации.

• Решение недостающего покрытия
  

  Определите который действия взять, чтобы разрешить недостающее покрытие.

• Покрытие модели
  

  Подтвердите свои тесты модели путем измерения, как полностью объекты модели тестируются.

• Создайте и запущенные тесты
  

  Создайте и запустите тесты при помощи команд MATLAB покрытия модели cvtest и cvsim.

• Верификация компонента
  

  Стратегии проверки функциональных блоков вашей модели, в изоляции или в контексте большей системы.

• Выполните функциональное тестирование и анализируйте тестовое покрытие
  

  Анализируйте функциональные зависимости, компоненты тестовой модели в изоляции, создайте наборы тестов, тестовых моделей и кода, чтобы достигнуть покрытия.

Рекомендуемые примеры

Основная операция инструмента model coverage

Используйте диалоговое окно Параметров конфигурации, чтобы включить покрытие для модели Simulink® и настроить тип информации, которая сообщается.

Открытая модель

Совокупный анализ покрытия

Иллюстрирует использование Проводника Результатов покрытия, чтобы упростить генерацию совокупных данных о покрытии и отчетов, охватывающих набор нескольких запусков покрытия.

Открыть скрипт

Программное обеспечение в покрытии кода цикла

Используйте модель - ссылку или в SIL или в Нормальном режиме симуляции, чтобы собрать модель или метрики покрытия кода с Simulink® Coverage™.

Открытая модель