Сгенерируйте данные о покрытии

Откройте модель и установите настройки покрытия.

load_system('slcoverage_fuelsys');

Создайте Simulink.SimulationInput возразите, чтобы изменить параметры конфигурации, не изменяя модель.

covSet = Simulink.SimulationInput('slcoverage_fuelsys');

Включите анализ покрытия и сконфигурируйте Simulink®, чтобы сохранить данные о покрытии в отдельном cvdata объект в рабочей области.

covSet = covSet.setModelParameter('CovEnable','on');
covSet = covSet.setModelParameter('CovSaveSingleToWorkspaceVar','on');
covSet = covSet.setModelParameter('CovSaveName','covData');
covSet = covSet.setModelParameter('CovScope','EntireSystem');

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

covSet = covSet.setModelParameter('CovMetricSaturateOnIntegerOverflow','on');
simOut = sim(covSet);

Извлеките насыщение на результатах целочисленного переполнения

Получите указатель блока на блок MinMax с помощью get_param и затем получите насыщение на результатах целочисленного переполнения.

blockHandle = get_param(['slcoverage_fuelsys/',...
    'Engine Gas Dynamics/Mixing & Combustion/MinMax'],'Handle');
saturationResults = overflowsaturationinfo(covData,blockHandle)
percentSaturationCoverage = 100 * saturationResults(1)/saturationResults(2)

saturationResults =

     1     2


percentSaturationCoverage =

    50

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

Сгенерируйте данные о покрытии

Загрузите slvnvdemo_saturation_on_overflow_coverage модель в качестве примера.

load_system('slvnvdemo_saturation_on_overflow_coverage');

Установите установку покрытия с помощью Simulink.SimulationInput объект. Включите покрытие и сконфигурируйте Simulink®, чтобы вывести cvdata объект в рабочую область.

covSet = Simulink.SimulationInput('slvnvdemo_saturation_on_overflow_coverage');
covSet = covSet.setModelParameter('CovEnable','on');
covSet = covSet.setModelParameter('CovSaveSingleToWorkspaceVar','on');
covSet = covSet.setModelParameter('CovSaveName','covData');
covSet = covSet.setModelParameter('CovScope','EntireSystem');

Извлеките насыщение на результатах целочисленного переполнения

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

covSet = covSet.setModelParameter('CovMetricSaturateOnIntegerOverflow','on');
simOut = sim(covSet);
[covResults, covDesc] = overflowsaturationinfo(covData, ...
		['slvnvdemo_saturation_on_overflow_coverage/Test Unit /' ...
		'Controller/Sum'])
percentSaturation = 100 * covResults(1)/covResults(2)

covResults =

     1     2


covDesc = 

  struct with fields:

           isFiltered: 0
          isJustified: 0
    justifiedCoverage: 0
      filterRationale: ''
             decision: [1x1 struct]


percentSaturation =

    50

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

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

outcome1 = covDesc.decision.outcome(1)
outcome2 = covDesc.decision.outcome(2)

outcome1 = 

  struct with fields:

          execCount: 3
     executionCount: 3
               text: 'false'
         isFiltered: 0
        isJustified: 0
    filterRationale: ''
         executedIn: []


outcome2 = 

  struct with fields:

          execCount: 0
     executionCount: 0
               text: 'true'
         isFiltered: 0
        isJustified: 0
    filterRationale: ''
         executedIn: []

В процессе моделирования целочисленное переполнение не произошло в Sum блокируйтесь потому что 'true' результат имеет количество выполнения 0.

Если целочисленное переполнение не возможно для блока в вашей модели, полагайте, что очистка Насыщения на параметрах блоков целочисленного переполнения оптимизирует КПД вашего сгенерированного кода.