Расширенный Модифицированный Decision Coverage условия (MCDC) рассматривает цели покрытия по умолчанию тестового блока, которые обнаруживаемы на сайте обнаружения. Чтобы проверять состояние обнаружительной способности пользовательской цели тестирования, можно создать цель тестирования объекта модели, и затем выполнить Расширенный анализ MCDC.
Рассмотрите эту модель, которая состоит из блока Product и блока Min. Можно создать пользовательскую цель тестирования для блока Product, чтобы представить выходное значение меньше, чем 0
и обнаружьте эффект пользовательской цели тестирования на сайте обнаружения.
Этот рабочий процесс описывает шаги для авторской разработки пользовательских целей тестирования для блока.
Шаг 1: Создайте библиотеку атомарной подсистемы маскированной, чтобы создать пользовательские цели тестирования. Подсистема маскированная состоит из этих блоков:
Блокируйте на рассмотрении, например, блок Product.
Логика, чтобы закодировать пользовательскую цель тестирования, например, блок MATLAB Function.
Блоки Simulink® Design Verifier™ Test Objective.
Шаг 2: В подсистеме маскированной:
Добавьте isEnabledForDetectability
параметр и установленный параметр на On
.
Добавьте detectBlock
параметр с именем блока на рассмотрении.
Установите Evaluate
атрибут detectBlock
параметр к Off
.
Шаг 3: Задайте заменяющее правило блока заменить блок на рассмотрении на подсистему маскированную.
Чтобы создать пользовательские цели тестирования, используйте заменяющий файл правила блока blkrep_rule_product_customTestObjective в качестве примера. В заменяющем файле блока вы обновляете rule.BlockType
и rule.ReplacementPath
на основе ваших блоков модели. Для получения дополнительной информации смотрите Замены Блока для Неподдерживаемых Блоков.
Шаг 4: Сконфигурируйте свою модель с заменяющим правилом блока. В диалоговом окне Configuration Parameters, в 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. getCustomTestObjectives
Блок MATLAB Function состоит из двух пользовательских условий для блоков Test Objective.
custProduct
подсистема маскированная предварительно сконфигурирована этими параметрами. Для получения дополнительной информации см. Редактор Маски Обзор.
Блокируйте заменяющее правило заменить блок на рассмотрении на подсистему маскированную: sldvCustomTestObjectiveExample
модель предварительно сконфигурирована с заменяющими опциями блока. Заменяющее правило блока задано в blkrep_rule_product_customTestObjective файле, который заменяет блок Product на замаскированную подсистему custProduct.
Чтобы сконфигурировать модель для расширенных целей MCDC, на вкладке Design Verifier, нажимают Test Generation Settings. В диалоговом окне Configuration Parameters, в 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 в Сводных данных Результатов. Заменяющие Сводные данные Блока предоставляют подробную информацию о замененных блоках.
Раздел Test Objectives Status перечисляет цели. Цель тестирования, которая обнаруживаема на сайте обнаружения, получена в итоге в таблице.