Создание данных покрытия

Откройте модель и задайте параметры покрытия.

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.

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