Получите информацию о покрытии для
блоков 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
объект
указатель на блок, подсистему или график 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. Следующее является допустимыми значениями для
| ||||||||||||||||
|
| ||||||||||||||||
|
Булево значение, которое задает, чтобы проигнорировать покрытие объектов-потомков, если установлено в |
|
Двухэлементный вектор из формы
Примечание Если |
|
Массив структур, содержащий описания каждой цели, и описания и выполнение, значит каждый результат в Примечание Если |
Получите покрытие для всех блоков Proof 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']; 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:
Откройте модель.
В Редакторе моделей выберите Model Settings на вкладке Modeling.
На панели Coverage диалогового окна Configuration Parameters выберите Enable coverage analysis.
Под Coverage metrics выберите Objectives and constraints.
Нажмите OK, чтобы закрыть диалоговое окно Configuration Parameters и сохранить ваши изменения.
Симулируйте модель и рассмотрите результаты.
complexityinfo
| conditioninfo
| cvsim
| decisioninfo
| executioninfo
| mcdcinfo
| overflowsaturationinfo
| relationalboundaryinfo
| sigrangeinfo
| sigsizeinfo
| tableinfo