В этом примере показано, как собрать реляционную граничную информацию покрытия для блока Saturation в модели. Для получения дополнительной информации о блоках, поддержанных для реляционного граничного покрытия, смотрите Объекты модели, Которые Получают Покрытие.
Откройте slvnvdemo_cv_small_controller модель. Создайте тестовый объект спецификации покрытия модели для модели.
В тестовом объекте спецификации покрытия модели активируйте реляционное граничное покрытие.
Симулируйте модель и соберите результаты покрытия в cvdata объект.
Получите реляционные граничные результаты покрытия для блока Saturation в slvnvdemo_cv_small_controller. Результаты покрытия хранятся в двухэлементном векторе из формы [covered_outcomes total_outcomes].
covResults =
2 4
covDesc =
isFiltered: 0
decision: [1x2 struct]Поле decision 1 X 2 структура. Каждый элемент decision соответствует реляционной операции в блоке. Блок Saturation содержит два сравнения. Первое сравнение с нижним пределом и вторым с верхним пределом. Поэтому decision структура с 2 элементами.
Просмотрите первую операцию в блоке, который получает реляционное граничное покрытие. Для блока Saturation первой реляционной операцией является input > lowerlimit.
ans =
outcome: [1x2 struct]
text: 'input - lowerlimit'
isFiltered: 0
filterRationale: ''text поле показывает эти два операнда. isFiltered поле установлено в 1, если блок отфильтрован от реляционного граничного покрытия. Для получения дополнительной информации смотрите, что Покрытие Фильтрует.
Просмотрите результаты для первой реляционной операции в блоке.
ans =
isActive: 1
execCount: 0
text: '[-tol..0]'
ans =
isActive: 1
execCount: 0
text: '(0..tol]'Просмотрите вторую операцию в блоке, который получает реляционное граничное покрытие. Для блока Saturation второй реляционной операцией является input < upperlimit.
ans =
outcome: [1x2 struct]
text: 'input - upperlimit'
isFiltered: 0
filterRationale: ''Просмотрите результаты для второй реляционной операции в блоке.
ans =
isActive: 1
execCount: 1
text: '[-tol..0)'
ans =
isActive: 1
execCount: 2
text: '[0..tol]'