Откройте sldemo_fuelsys модель в качестве примера. Создайте тестовый объект спецификации покрытия модели для подсистемы Mixing & Combustion подсистемы Динамики Газа Engine.

open_system('sldemo_fuelsys');
testObj = cvtest('sldemo_fuelsys/Engine Gas Dynamics/', ...
		'Mixing & Combustion');

В тестовом объекте спецификации покрытия модели задайте, чтобы собрать насыщение на покрытии переполнения.

testObj.settings.overflowsaturation = 1;

Симулируйте модель и соберите результаты покрытия в новом cvdata объект.

dataObj = cvsim(testObj);

Получите насыщение на результатах покрытия переполнения для блока MinMax в подсистеме Mixing & Combustion. Результаты покрытия хранятся в двухэлементном векторе формы [covered_outcomes total_outcomes].

blockHandle = get_param('sldemo_fuelsys/' ...
		'Engine Gas Dynamics/Mixing & Combustion/MinMax','Handle');
covResults = overflowsaturationinfo(dataObj, blockHandle)

covResults =

     1     2

Один из двух насыщения на результатах решения целочисленного переполнения были удовлетворены для блока MinMax в подсистеме Mixing & Combustion, таким образом, это получило 50%-е насыщение на покрытии целочисленного переполнения.

Откройте slvnvdemo_saturation_on_overflow_coverage модель в качестве примера.

open_system('slvnvdemo_saturation_on_overflow_coverage');

Симулируйте модель и соберите результаты покрытия в новом cvdata объект.

dataObj = cvsim('slvnvdemo_saturation_on_overflow_coverage');

Получите насыщение на результатах покрытия целочисленного переполнения и описании для блока Sum в Подсистеме контроллера Тестовой Модульной подсистемы.

[covResults, covDesc] = overflowsaturationinfo(dataObj, ...
		'slvnvdemo_saturation_on_overflow_coverage/Test Unit /' ...
		'Controller/Sum')

covResults =

     1     2


covDesc = 

    isFiltered: 0
      decision: [1x1 struct]

Один из двух насыщения на результатах решения целочисленного переполнения были удовлетворены для блока Sum, таким образом, это получило 50%-е насыщение на покрытии целочисленного переполнения.

Рассмотрите число раз блок Sum, оцененный к каждому насыщению на результате целочисленного переполнения в процессе моделирования.

covDesc.decision.outcome(1)

ans = 

    executionCount: 3
              text: 'false'

covDesc.decision.outcome(2)

ans = 

    executionCount: 0
              text: 'true'

В процессе моделирования целочисленное переполнение не произошло в блоке Sum.

Если целочисленное переполнение не возможно для блока в вашей модели, полагайте, что очистка параметров блоков Saturate on integer overflow оптимизирует КПД вашего сгенерированного кода.