Получите информацию о покрытии для
блоков Simulink Design Verifier от объекта cvdata
[coverage, description]
= getCoverageInfo(cvdo, object)
[coverage, description]
= getCoverageInfo(cvdo, object, metric)
[coverage, description]
= getCoverageInfo(cvdo, object, metric, ignore_descendants)
[
собирает покрытие Simulink® Design Verifier™ для coverage
, description
]
= getCoverageInfo(cvdo
, object
)object
, на основе результатов покрытия в cvdo
. object
является указателем на блок, подсистему или график Stateflow®. getCoverageData
возвращает данные о покрытии только для блоков библиотеки Simulink Design Verifier в иерархии object
.
[
возвращает данные о покрытии для типа блока, заданного в coverage
, description
]
= getCoverageInfo(cvdo
, object
, metric
)metric
. Если object
не совпадает с типом блока, getCoverageInfo
не возвращает данные.
[
возвращает данные о покрытии о coverage
, description
]
= getCoverageInfo(cvdo
, object
, metric
, ignore_descendants
)object
, не используя данные о покрытии для его объектов-потомков, если ignore_descendants
равняется 1
.
|
Объект | ||||||||||||||||
|
В модели или диаграмме Stateflow, возразите, что это получило покрытие Simulink Design Verifier. Следующее является допустимыми значениями для
| ||||||||||||||||
|
Объект перечисления
| ||||||||||||||||
|
Булево значение, которое задает, чтобы проигнорировать покрытие объектов-потомков, если установлено в |
|
Двухэлементный вектор формы
ПримечаниеЕсли |
|
Массив структур, содержащий описания каждой цели, и описания и выполнение, значит каждый результат в ПримечаниеЕсли |
Получите покрытие для всех блоков Цели доказательства в Verification Subsystem1
mdl = 'sldvdemo_powerwindow_vs'; open_system(mdl) set_param(mdl, 'StopTime', '10') testObj = cvtest(mdl); testObj.settings.designverifier = 1; data = cvsim(testObj); verifSubsys = [mdl '/Verification Subsystem1']; covProof = getCoverageInfo(data, verifSubsys, cvmetric.Sldv.proof)
covProof
является двухэлементным вектором формы [covered_outcomestotal_outcomes]
, показывающий 1 охваченный результат из 1 общего результата цели доказательства.
Получите покрытие для определенного блока Test Objective в Verification Subsystem1
mdl = 'sldvdemo_powerwindow_vs'; open_system(mdl) set_param(mdl, 'StopTime', '10') testObj = cvtest(mdl); testObj.settings.designverifier = 1; data = cvsim(testObj); verifSubsys = [mdl '/Verification Subsystem1']; testObjBlock = [verifSubsys '/Test Objective2']; covTest = getCoverageInfo(data, testObjBlock)
covTest
является двухэлементным вектором формы [covered_outcomes total_outcomes]
, показывающий 0 охваченных результатов из 1 общего результата цели тестирования.
Получите данные о покрытии и описания для всех доступных метрик, зарегистрированных в Verification Subsystem1
mdl = 'sldvdemo_powerwindow_vs'; open_system(mdl) set_param(mdl, 'StopTime', '10') testObj = cvtest(mdl); testObj.settings.designverifier = 1; data = cvsim(testObj); verifSubsys = [mdl '/Verification Subsystem1']; [covAll, descrAll] = getCoverageInfo(data, verifSubsys, ... {cvmetric.Sldv.proof, cvmetric.Sldv.test})
covAll
является массивом ячеек с ячейками, соответствующими объективным результатам для каждой метрики. descrAll
является массивом ячеек с ячейками, соответствующими описаниям каждой метрики.
covAll{1} covAll{2}
covAll{1}
является двухэлементным вектором формы [covered_outcomes total_outcomes] показ 1 охваченного результата из 1 общего результата цели доказательства. covAll{2}
является двухэлементным вектором формы [covered_outcomes total_outcomes] показ 0 охваченных результатов из 1 общего результата цели тестирования.
descrAll{1} descrAll{2}
descrAll{1}
является массивом структур, содержащим описания каждой цели доказательства, и описания и счета выполнения для каждого результата. descrAll{2}
является массивом структур, содержащим описания каждой цели тестирования, и описания и счета выполнения для каждого результата.
Используйте настройки покрытия, чтобы собрать и отобразить результаты покрытия для блоков библиотеки Simulink Design Verifier:
Откройте модель.
В Редакторе моделей выберите Analysis> Coverage> Settings.
На панели Coverage диалогового окна Configuration Parameters выберите Enable coverage analysis.
Под Coverage metrics выберите Objectives and constraints.
Нажмите OK, чтобы закрыть диалоговое окно Configuration Parameters и сохранить ваши изменения.
Моделируйте модель и рассмотрите результаты.
complexityinfo
| conditioninfo
| cvsim
| decisioninfo
| mcdcinfo
| overflowsaturationinfo
| sigrangeinfo
| sigsizeinfo
| tableinfo