Модифицированное условие и Decision Coverage (MCDC) определения в Simulink Coverage

Simulink^® Coverage™ значением по умолчанию использует измененное условие и Decision Coverage маскирования (MCDC) определение для записи результатов покрытия MCDC. Несмотря на то, что можно изменить определение MCDC, что Simulink Coverage использует во время анализа для уникальной причины определение MCDC, существуют некоторые различия в том, как Simulink Coverage записывает покрытие для моделей, в зависимости от которого определения вы используете.

Различия между маскированием MCDC и Уникальной Причиной MCDC в анализе покрытия Simulink Coverage
Факторы сертификации для покрытия MCDC
Установка (MCDC) определение, используемое в анализе покрытия Simulink Coverage
Модифицированное условие и Decision Coverage в Simulink Design Verifier

Различия между маскированием MCDC и Уникальной Причиной MCDC в анализе покрытия Simulink Coverage

Маскирование MCDC составляет маскирование условий в подвыражениях, допуская увеличенное число целей MCDC, которым удовлетворяют, по сравнению с определением уникальной причины MCDC. В результате некоторые модели Simulink, которые получают меньше, чем полное покрытие MCDC с помощью уникальной причины определение MCDC, получают увеличенное покрытие при использовании маскирования определение MCDC. Рассмотрите следующий пример, где два входных параметров к графику Stateflow^®, условие A и условие C, не могут измениться независимо:

Эта входная зависимость результаты в зависимых условиях для выражения содержала в диаграмме Stateflow:

Для выражения (|| B) && (C || D), изменяя значение условия C также изменяет значение условия A. Из-за взаимозависимости условий A и C, уникальная причина MCDC для условия C не может быть достигнут:

Однако маскируя MCDC для условия C может быть достигнут, потому что маскирование, которое MCDC позволяет значению условия изменять в паре независимости для условия C, пока подвыражение (|| B) остается верным:

Факторы сертификации для покрытия MCDC

Команда Certification Authorities Software (CAST), в их меморандуме CAST 6, утверждает, что маскирование MCDC приемлемо для достижения цели MC/DC DO - 178B сертификация.

Установка (MCDC) определение, используемое в анализе покрытия Simulink Coverage

По умолчанию Simulink Coverage использует маскирование определение MCDC во время анализа покрытия. Существует два способа изменить определение MCDC, используемое в анализе покрытия Simulink Coverage:

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

Откройте диалоговое окно Configuration Parameters.
Установите CovMcdcMode параметр к Masking или Unique-Cause.

Используйте `cvtest` Объект установить используемое определение MCDC

Создайте cvtest возразите для своей модели, чтобы установить mcdcMode к 'Masking' или 'UniqueCause':

cvt = cvtest(model)
cvt.options.mcdcMode = 'UniqueCause'
covdata = cvsim(cvt)

Модифицированное условие и Decision Coverage в Simulink Design Verifier

Установка CovMcdcMode к 'UniqueCause' может привести к различиям между MCDC, сообщающим в Simulink Coverage и генерацией тестов в Simulink Design Verifier™. Simulink Design Verifier всегда использует маскирование определение MCDC в генерации теста. Для получения дополнительной информации смотрите Модифицированное Условие и Decision Coverage в Simulink Design Verifier.

Документация