Расширенное покрытие для принятия решений о модифицированных условиях (MCDC) учитывает цели покрытия по умолчанию тестового блока, которые могут быть обнаружены в месте обнаружения. Чтобы проверить состояние обнаруживаемости пользовательской цели теста, можно создать цель теста объекта модели, а затем выполнить расширенный анализ MCDC.
Рассмотрим эту модель, состоящую из блока Изделие (Product) и блока Мин (Min). Можно создать пользовательскую цель теста для блока «Изделие» для визуализации выходного значения меньше 0 и обнаруживают эффект пользовательского тестового объекта в месте обнаружения.
В этом рабочем процессе описываются шаги разработки пользовательских целей тестирования для блока.
Шаг 1: Создание библиотеки подсистем с атомной маскировкой для создания пользовательских целей тестирования. Маскированная подсистема состоит из следующих блоков:
Рассматриваемый блок, например, блок продукта.
Логика для кодирования пользовательского тестового объекта, например, функционального блока MATLAB.
Целевые блоки Simulink ® Design Verifier™ Test.
Шаг 2: В маскированной подсистеме:
Добавить isEnabledForDetectability и задайте для параметра значение On.
Добавить detectBlock с именем рассматриваемого блока.
Установите Evaluate атрибут detectBlock параметр для Off.
Шаг 3. Определите правило замены блока для замены рассматриваемого блока маскированной подсистемой.
Для создания пользовательских целей тестирования используйте файл blkrep_rule_product_customTestObjective примером правила замены блоков. В файле замены блоков выполняется обновление rule.BlockType и rule.ReplacementPath на основе блоков модели. Дополнительные сведения см. в разделе Замены блоков для неподдерживаемых блоков.
Шаг 4: Настройте модель с помощью правила замены блоков. В диалоговом окне «Параметры конфигурации» в окне «Design Verifier > Block Replacements» введите Список правил замены блоков.
Шаг 5: Выбор Enhanced MCDC для целей покрытия модели и выполнения анализа генерации теста.
В этом примере показано, как создать пользовательские цели тестирования для блока Product в sldvCustomTestObjectiveExample модель. Затем показано, как можно обнаружить эффект тестовой цели в месте обнаружения.
Откройте модель sldvCustomStartExecutionExample.
addpath(fullfile(docroot,'toolbox','sldv','examples')); open_system('sldvCustomTestObjectiveExample');
Библиотека атомной маскированной подсистемы: Библиотека blkReplacementlib_customTestObjective состоит из custProduct маскированная подсистема. Логика кодирования цели пользовательского теста определяется в блоке MATLAB Function. getCustomTestObjectives
Функциональный блок MATLAB состоит из двух пользовательских условий для блоков контрольных целей.
custProduct маскированная подсистема предварительно сконфигурирована с этими параметрами. Дополнительные сведения см. в разделе Обзор редактора масок.
Правило замены блока для замены рассматриваемого блока маскированной подсистемой: sldvCustomTestObjectiveExample модель предварительно сконфигурирована с опциями замены блоков. Правило замены блока определяется в файле blkrep_rule_product_customTestObjective, который заменяет блок Product маскированной подсистемой custProduct.
Чтобы настроить модель для расширенных целей MCDC, на вкладке Design Verifier щелкните Test Generation Settings (Настройки генерации тестов). В диалоговом окне «Параметры конфигурации» на панели Design Verifier > Test Generation для параметра «Цели покрытия модели» выберите Enhanced MCDC. Нажмите кнопку ОК.
Чтобы создать тестовые примеры, щелкните Создать тесты (Generate Tests).
Программное обеспечение анализирует модель замены для генерации теста.
Щелкните Подсветить результаты анализа на модели (Highlight analysis results on model).
Чтобы проанализировать обнаруживаемость блока «Изделие», щелкните блок «Изделие».
Результаты показывают, что цели тестирования блока продукта являются обнаруживаемыми. Генерируется тестовый случай.
Примечание
Программное обеспечение не может подтвердить состояние целей посредством результатов проверки целей, введенных путем замены блоков. Следовательно, состояние цели теста сообщается как удовлетворенное - требуется моделирование. Дополнительные сведения о проверке см. в разделе Отчеты о приближениях через результаты проверки.
Щелкните Просмотр тестового случая. Откроется модель электрического жгута, и блок Построитель сигналов отобразит тестовый пример.
Чтобы просмотреть подробный отчет об анализе, щелкните HTML в окне Сводка результатов (Results Summary). Сводка по замещению блоков содержит подробные сведения о замененных блоках.
В разделе «Состояние целей тестирования» перечислены цели. Цель испытания, которая может быть обнаружена в месте обнаружения, суммирована в таблице.
