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

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

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');

Включите набор насыщения при целочисленном переполнении Coverage и симулируйте модель, вызывая 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.

Если целочисленное переполнение невозможно для блока в вашей модели, рассмотрите удаление Saturate при целочисленных параметрах блоков переполнения, чтобы оптимизировать эффективность вашего сгенерированного кода.