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

Стройте диаграмму как инициированное решение блока Simulink

Если график является инициированным блоком в модели Simulink, решение выполнить блок тестируется. Если блок не инициирован, нет никакого решения выполнить блок, и измерение Decision Coverage не применимо (NA).

Стройте диаграмму содержащий исключающее ИЛИ, подутверждает решение

Если график содержит исключительный (OR) подсостояния, решение, на котором тестируется подсостояние выполниться. Если график содержит только параллельные подсостояния AND, это измерение покрытия не применимо (NA).

Сверхсостояние, содержащее исключающее ИЛИ, подутверждает решение

Поскольку график иерархически обрабатывается от верхней части вниз, процедуры такой как исключительный (OR) запись подсостояния, выход, и выполнение иногда решается сверхсостоянием порождения.

Поскольку сверхсостояние должно решить, который исключительный (OR) подсостояние к процессу, количество результатов решения для сверхсостояния является количеством исключительных (OR), подутверждает, что это содержит. В примерах, которые следуют, выбор которого подутверждают к процессу, может произойти в одном из трех возможных контекстов.

Для получения дополнительной информации смотрите Раздел Отчета Деталей состояния.

Состояние с на решении оператора действия Event_Name

Состояние, которое имеет on event_name оператор действия должен решить, выполнить ли тот оператор на основе приема заданного события или на накоплении заданного события при использовании временных логических операторов.

Условное решение перехода

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

Раздел сводного отчета

Раздел Summary показывает результаты покрытия для целого теста и появляется в начале отчета Покрытия модели.

Каждая линия в иерархии обобщает результаты покрытия на том уровне и уровнях ниже его. Можно кликнуть по гиперссылке на более поздний раздел в отчете с тем же присвоенным номером иерархии, который детализирует то покрытие и покрытие его дочерних элементов.

Верхний уровень, sf_boiler, сама модель Simulink. Вторым уровнем, Контроллером Скорострельного оружия, является диаграмма Stateflow. Следующие уровни являются сверхсостояниями в рамках графика, в порядке иерархического включения. Каждое сверхсостояние использует SF: префикс. Нижний уровень, модель Boiler Plant, является дополнительной подсистемой в модели.

Подсистема и разделы отчета деталей графика

При записи покрытия для диаграммы Stateflow программное обеспечение Simulink Coverage сообщает о двух типах покрытия для графика — Подсистема и График.

Раздел отчета деталей состояния

Для каждого состояния в графике отчет покрытия включает в себя раздел State с деталями о покрытии, зарегистрированном для того состояния.

В sf_boiler модель, On состояния находится в поле Heater. On сверхсостояние, которое содержит:

Отчет покрытия включает в себя раздел State по On состояния.

Decision Coverage для On утвердите тестирует решение, которого подутверждают, чтобы выполниться.

Эти три решения перечислены в отчете:

Поскольку каждое решение может привести к любому HIGH или NORM, общими возможными исходами являются 3 × 2 = 6. Результаты показывают, что пять из шести возможных исходов были протестированы в процессе моделирования.

Цикломатическая сложность и Decision Coverage также применяются к потомкам On состояние. Решение, требуемое условием [warm()] поскольку переход от HIGH до NORM приносит общие возможные результаты решения к 8. Покрытие условия и MCDC не применимы (NA) для состояния.

Раздел отчета деталей перехода

Отчеты для переходов появляются под разделами отчета их объектов владения. Переходы не появляются в иерархии модели раздела Summary, поскольку иерархия основана на сверхсостояниях, которые владеют другими объектами Stateflow.

Решение для этого перехода зависит от задержки 40 секунд и условия [cold()]. Если после 40-секундной задержки среда является холодной (cold() = 1), решение выполнить этот переход и включить Нагреватель принято. Для других временных интервалов или условий среды, решение принято, чтобы не выполниться.

Для Decision Coverage произошли оба истинных и ложных результата. Поскольку два из двух результатов решения произошли, покрытие было полно или 100%.

Покрытие условия показывает, что только 4 из 6 результатов условия были протестированы. Временный логический оператор after(40,sec) представляет два условия: вхождение sec и after(40,sec) с временной задержкой. Поэтому три условия на переходе существуют: sec, after(40,sec), и cold(). Поскольку каждое из этих решений может быть TRUE или FALSE, шесть возможных результатов условия существуют.

Анализируемая таблица Условий показывает каждое условие строкой с записанным количеством случаев для каждого результата (TRUE или FALSE). Заштрихованы строки решения, в которых не произошел возможный исход. Например, первое и третьи строки не записывали вхождение ложного результата.

В отчете MCDC все наборы случаев условий перехода сканируются для конкретной пары решений для каждого условия, в котором следующее верны:

Для трех условий, связанных подразумеваемой операцией И, этим критериям может удовлетворить вхождение этих условий.

Заметьте, что в каждой линии, протестированное условие изменяется от истинного до лжи, в то время как другое условие остается постоянным. Несоответствующие факторы закодированы с "x" (обсужденный ниже). Если оба результата происходят во время тестирования, покрытие завершено (100%) для протестированного условия.

Предыдущий пример отчета показывает покрытие только для условия 2. Ложные результаты, требуемые для условий 1 и 3, не произошли и обозначаются круглыми скобками для обоих условий. Поэтому строки 1 и 3 условия заштрихованы. В то время как условие 2 было протестировано, условия 1 и 3 не имеют, и MCDC составляет 33%.

Для некоторых решений значения некоторых условий не важны при определенных обстоятельствах. Например, в решении [C1 & C2 & C3 | C4 & C5] левая сторона | является ложным если любое из условий C1C2 , или C3 является ложным. То же самое применяется к результату правой стороны если любой C4 или C5 является ложным. Когда поиск соответствия с парами, которые изменяют результат решения путем изменения одного условия, содержания некоторых остающихся постоянных условий, не важен. В этих случаях отчет MCDC отмечает эти условия "x", чтобы указать на их неуместность как на фактор результата. Эти условия появляются как показано.

Рассмотрите первую совпадающую пару. Поскольку условие 1 верно в Истинном столбце результата, это должно быть ложным в соответствующем Ложном столбце результата. Это делает условия C2 и C3 не важный для ложного результата начиная с C1 & C2 & C3 является всегда ложным если C1 является ложным. Кроме того, поскольку ложный результат требуется, чтобы оценивать ко лжи, оценке C4 & C5 должно также быть ложным. В этом случае соответствие было найдено с C4 = F, делая условие C5 не важный.

Типы покрытия в таблицах истинности Stateflow

Программное обеспечение Simulink Coverage сообщает о покрытии модели для решений, которые объекты принимают в диаграмме Stateflow во время симуляции модели. Отчет включает в себя покрытие для решений, которые принимают функции таблицы истинности.

Анализируйте покрытие в таблицах истинности Stateflow

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

Рассмотрите следующую модель.

Диаграмма Stateflow содержит следующую таблицу истинности:

Когда вы симулируете модель и собираете покрытие, отчет покрытия модели включает в себя следующие данные:

Столбец Coverage (this object) не показывает покрытия. Причина состоит в том, что контейнерный объект для функции таблицы истинности — диаграмма Stateflow — не решает, выполнить ли ttable таблица истинности.

Столбец Coverage (inc. descendants) показывает покрытие для графической функции. Графическая функция имеет логику решения, которая делает переходы для таблицы истинности. Переходы в графической функции содержат решения и условия таблицы истинности. Покрытие для потомков в столбце Coverage (inc. descendants) включает покрытие для этих условий и решений. Вызовы функции к таблице истинности тестируют покрытие модели этих условий и решений.

Покрытие для решений и их отдельных условий в ttable функция таблицы истинности следующие.

Покрытие модели дисплея с окраской модели

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

Получите совокупное покрытие для допускающих повторное использование подсистем и Stateflow® Constructs

В этом примере показано, как создать и просмотреть совокупные результаты покрытия для модели с допускающей повторное использование подсистемой.

Simulink® Coverage™ предоставляет совокупную страховую защиту нескольким экземплярам тождественно сконфигурированного:

Чтобы получить совокупное покрытие, вы добавляете отдельные результаты покрытия в командной строке. Можно получить совокупные результаты покрытия для нескольких экземпляров через модели и тестовые обвязки путем добавления отдельных результатов покрытия.

model = 'slvnvdemo_cv_mutual_exclusion';
open_system(model);

testobj1 = cvtest([model '/Subsystem 1']);
testobj1.settings.decision = 1;
covobj1 = cvsim(testobj1);

testobj2 = cvtest([model '/Subsystem 2']);
testobj2.settings.decision = 1;
covobj2 = cvsim(testobj2);

covobj3 = covobj1 + covobj2;

cvhtml('subsystem1',covobj1)

cvhtml('subsystem2',covobj2)

cvhtml('cum_subsystem',covobj3)