sltest.plugins.coverage.CoverageMetrics class

Пакет: sltest.plugins.coverage

Укажите метрики покрытия для тестов, запускаемых с помощью среды Модульный Тест

Описание

Используйте sltest.plugins.coverage.CoverageMetrics класс, чтобы задать метрики покрытия. Передайте объект метрики покрытия в объект плагина покрытия модели.

Создание

cmo = sltest.plugins.coverage.CoverageMetrics(Properties) создает объект метрики покрытия с заданными свойствами.

Можно также импортировать плагин, затем использовать имя класса для создания объекта:

import sltest.plugins.coverage.CoverageMetrics
cmo = CoverageMetrics(Properties)

Свойства

расширить все

`Decision` - Decision Coverage
true (по умолчанию) | false

Включите или отключите набор Decision Coverage.

Пример: 'Decision',true

Атрибуты:

`SetAccess`	`public`
`GetAccess`	`public`

`Condition` - Покрытие условия
false (по умолчанию) | true

Включите или отключите набор покрытия условий.

Пример: 'Condition',true

Атрибуты:

`SetAccess`	`public`
`GetAccess`	`public`

`MCDC` - Покрытие MCDC
false (по умолчанию) | true

Включите или отключите набор измененных условий/покрытий для принятия решений.

Пример: 'MCDC',true

Атрибуты:

`SetAccess`	`public`
`GetAccess`	`public`

`LookupTable` - Покрытие интерполяционных таблиц
false (по умолчанию) | true

Включите или отключите набор покрытия интерполяционных таблиц.

Пример: 'LookupTable',true

Атрибуты:

`SetAccess`	`public`
`GetAccess`	`public`

`SignalRange` - Охват диапазона сигнала
false (по умолчанию) | true

Включите или отключите набор покрытия диапазона сигнала.

Пример: 'SignalRange',true

Атрибуты:

`SetAccess`	`public`
`GetAccess`	`public`

`SignalSize` - Охват по размеру сигнала
false (по умолчанию) | true

Включите или отключите набор покрытия размера сигнала.

Пример: 'SignalSize',true

Атрибуты:

`SetAccess`	`public`
`GetAccess`	`public`

`SimulinkDesignVerifier` - Покрытие блока Simulink Design Verifier
false (по умолчанию) | true

Включите или отключите набор покрытия блоков Simulink Design Verifier.

Пример: 'SimulinkDesignVerifier',true

Атрибуты:

`SetAccess`	`public`
`GetAccess`	`public`

`SaturationOnIntegerOverflow` - насыщение блоков при целочисленном переполнении
false (по умолчанию) | true

Включите или отключите запись количества раз, которое блок достигает при целочисленном переполнении.

Пример: 'SaturationOnIntegerOverflow',true

Атрибуты:

`SetAccess`	`public`
`GetAccess`	`public`

`RelationalBoundary` - Реляционный краевой охват
false (по умолчанию) | true

Включите или отключите реляционный граничный охват.

Пример: 'RelationalBoundary',true

Атрибуты:

`SetAccess`	`public`
`GetAccess`	`public`

Примеры

свернуть все

Сбор покрытия модели с помощью модульного теста MATLAB ®

Открыть Live Script

В этом примере показано, как использовать MATLAB ® Модульный Тест для сбора покрытия для тестов, выполняемых на модели Simulink ®.

Вы запускаете тесты в AutopilotTestFile.mldatx тестовый файл при сборе измененного покрытия условия/решения (MCDC).

1. Импортируйте исполнитель тестов и плагины для примера.

import matlab.unittest.TestRunner
import sltest.plugins.ModelCoveragePlugin
import sltest.plugins.coverage.CoverageMetrics

2. Создайте объект плагина покрытия модели и объект метрики покрытия. В этом примере вы используете покрытие MCDC и записываете покрытие для ссылочных моделей.

mcdcMet = CoverageMetrics('Decision',false,'Condition',false,'MCDC',true);

covSettings = ModelCoveragePlugin('RecordModelReferenceCoverage',true,...
    'Collecting',mcdcMet);

3. Создайте тестовый набор MATLAB ® Модульный Тест из тестового файла.

tf = sltest.testmanager.TestFile('AutopilotTestFile.mldatx');
APSuite = testsuite(tf.FilePath);

4. Создайте исполнитель тестов без каких-либо плагинов, затем добавьте плагин покрытия к раннеру.

APRun = TestRunner.withNoPlugins();
addPlugin(APRun,covSettings);

5. Запустите набор.

% Turn off the command line warnings.
warning off Stateflow:cdr:VerifyDangerousComparison
warning off Stateflow:Runtime:TestVerificationFailed

APResult = run(APRun,APSuite)

Coverage Report for RollAutopilotMdlRef/Roll Reference
    /tmp/BR2021ad_1657350_5204/mlx_to_docbook1/tp45fcfabf_e6b7_4225_ac8a_a1da536fa038.html

APResult = 
  TestResult with properties:

          Name: 'AutopilotTestFile > Basic Design Test Cases/Requirement 1.3 Test'
        Passed: 0
        Failed: 1
    Incomplete: 0
      Duration: 5.1177
       Details: [1x1 struct]

Totals:
   0 Passed, 1 Failed, 0 Incomplete.
   5.1177 seconds testing time.

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

Очистка. Очистить результаты и повторно включить предупреждения.

warning on Stateflow:cdr:VerifyDangerousComparison
warning on Stateflow:Runtime:TestVerificationFailed

sltest.testmanager.clearResults;
sltest.testmanager.clear;
sltest.testmanager.close;

См. также

sltest.plugins.coverage.ModelCoverageReport | sltest.plugins.ModelCoveragePlugin

Темы

Экспериментальные модели с использованием модульного теста MATLAB
Типы покрытия модели (Покрытие Simulink)

Введенный в R2018a

Документация

sltest.plugins.coverage.CoverageMetrics class

Описание

Создание

Свойства

`Decision` - Decision Coverage
true (по умолчанию) | false

Атрибуты:

`Condition` - Покрытие условия
false (по умолчанию) | true

Атрибуты:

`MCDC` - Покрытие MCDC
false (по умолчанию) | true

Атрибуты:

`LookupTable` - Покрытие интерполяционных таблиц
false (по умолчанию) | true

Атрибуты:

`SignalRange` - Охват диапазона сигнала
false (по умолчанию) | true

Атрибуты:

`SignalSize` - Охват по размеру сигнала
false (по умолчанию) | true

Атрибуты:

`SimulinkDesignVerifier` - Покрытие блока Simulink Design Verifier
false (по умолчанию) | true

Атрибуты:

`SaturationOnIntegerOverflow` - насыщение блоков при целочисленном переполнении
false (по умолчанию) | true

Атрибуты:

`RelationalBoundary` - Реляционный краевой охват
false (по умолчанию) | true

Атрибуты:

Примеры

Сбор покрытия модели с помощью модульного теста MATLAB ®

См. также

Темы

Simulink Test документация

Поддержка

Документация

sltest.plugins.coverage.CoverageMetrics class

Описание

Создание

Свойства

Decision - Decision Coverage true (по умолчанию) | false

Атрибуты:

Condition - Покрытие условия false (по умолчанию) | true

Атрибуты:

MCDC - Покрытие MCDC false (по умолчанию) | true

Атрибуты:

LookupTable - Покрытие интерполяционных таблиц false (по умолчанию) | true

Атрибуты:

SignalRange - Охват диапазона сигнала false (по умолчанию) | true

Атрибуты:

SignalSize - Охват по размеру сигнала false (по умолчанию) | true

Атрибуты:

SimulinkDesignVerifier - Покрытие блока Simulink Design Verifier false (по умолчанию) | true

Атрибуты:

SaturationOnIntegerOverflow - насыщение блоков при целочисленном переполнении false (по умолчанию) | true

Атрибуты:

RelationalBoundary - Реляционный краевой охват false (по умолчанию) | true

Атрибуты:

Примеры

Сбор покрытия модели с помощью модульного теста MATLAB ®

См. также

Темы

Simulink Test документация

Поддержка

`Decision` - Decision Coverage
true (по умолчанию) | false

`Condition` - Покрытие условия
false (по умолчанию) | true

`MCDC` - Покрытие MCDC
false (по умолчанию) | true

`LookupTable` - Покрытие интерполяционных таблиц
false (по умолчанию) | true

`SignalRange` - Охват диапазона сигнала
false (по умолчанию) | true

`SignalSize` - Охват по размеру сигнала
false (по умолчанию) | true

`SimulinkDesignVerifier` - Покрытие блока Simulink Design Verifier
false (по умолчанию) | true

`SaturationOnIntegerOverflow` - насыщение блоков при целочисленном переполнении
false (по умолчанию) | true

`RelationalBoundary` - Реляционный краевой охват
false (по умолчанию) | true