В этом примере показано, как собрать реляционную граничную информацию покрытия для блока 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]'