Simulink Coverage
Измерение покрытий моделей и сгенерированного кода.
Документация
Simulink Coverage выполняет анализ покрытия модели и кода, и измеряет полноту тестирования в моделях и сгенерированном коде. Применяются стандартные метрики, такие как покрытие решений, условий, модифицированное покрытие условий/решений (MC/DC) и покрытие реляционных границ, для оценки эффективности тестирования моделей, режимах ПО-в-контуре (SIL) и Процессор-в-контуре (PIL). Отсутствующее покрытия используется для того, чтобы найти пробелы в тестировании, отсутствующие требования или непреднамеренную функциональность.
Simulink Coverage генерирует интерактивные отчеты о покрытии, показывающие меру выполнения моделей, S-функций, функций MATLAB, и кода, сгенерированного с помощью Embedded Coder. Информация о покрытии подсвечивается в блоках и подсистемах, чтобы визуализировать пробелы в тестировании. Для оценки полноты тестирования выполняется слияния покрытия из нескольких тестов. Фильтры предназначены для того, чтобы исключить блоки из покрытия и разъяснения недостающего покрытия в отчетах.Поддержка отраслевых стандартов доступна в DO Qualification Kit и IEC Certification Kit.
Измерение покрытия моделей и кода
Оценка полноты тестирования при помощи сбора покрытия во время симуляций.
Покрытие моделей
Измерения покрытия моделей тестами для оценки эффективности и полноты тестирования. Неполное покрытие указывает на пробелы в тестировании, отсутствующие требования или непреднамеренную функциональность.
Покрытие кода
Измерение покрытия для тестов, запущенных в режимах режимах ПО-в-контуре (SIL) и Процессор-в-контуре (PIL) для кода, сгенерированного с помощью Embedded Coder, или для любого кода, вызываемого в моделях Simulink, с использованием S-функций, пользовательского кода в диаграммах Stateflow и блоков C Caller.
Метрики покрытия
Измерение различных показателей покрытия моделей и кода, включая покрытие решений, условий, MC/DC, реляционную границу и диапазонов сигналов.
Основные операции инструмента покрытия модели
StateflowИсследование результатов и генерация отчетов
Создание отчетов и слияние покрытия, полученного в результате нескольких тестов и работа с недостающим покрытием.
Управление и просмотр аккумулированных результатов покрытия
Браузер результатов Results Explorer используется для управления и просмотра покрытия, собранного в результате запуска нескольких тестов или симуляций.
Генерация отчетов о покрытии
Создание подробных отчетов, которые включают в себя накопленные результаты покрытия по выбранным метрикам.
Работа с недостающим покрытием
Модели могут содержать конструкции, которые не позволяют получить полное покрытие тестами. Исключение этих конструкций из регистрации покрытия и отчетности позволяет сосредоточиться на других аспектах недостающего покрытия, которые можно и нужно протестировать.
Сбор покрытия
Верификация и валидация на уровне моделей (SLVV)
