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