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

График как триггерное решение по блокам Simulink

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

Диаграмма, содержащая решение об исключительных ИЛИ

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

Решение об исключительных ИЛИ

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

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

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

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

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

Решение об условном переходе

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

Раздел «Сводный отчет»

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

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

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

Разделы отчета по подсистемам и Графику

При записи покрытия для диаграммы 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) для состояния.

Раздел «Сведения о переходе»

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

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

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

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

Таблица Conditions analysed показывает каждое условие как строку с записанным количеством вхождений для каждого результата (true или false). Строки решений, в которых возможный результат не произошел, затенены. Например, первая и третья строки не записали вхождение ложного результата.

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

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

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

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

Для некоторых решений ценности некоторых условий не имеют значения при определенных обстоятельствах. Для примера в решении [C1 & C2 & C3 | C4 & C5] левая сторона | имеет значение false, если какое-либо из условий C1, C2, или 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 функция таблицы истинности следующая.

Отобразите покрытие модели с раскраской модели

Когда вы активируете покрытие и симулируете модель с помощью кнопки Run, модель подсвечивает отдельные элементы Stateflow, получающие покрытие. Если вы запускаете свою модель, используя sim модель по умолчанию не отображает результаты покрытия. В этом случае вы можете увидеть подсветку модели при помощи cvmodelview.

Состояния, которые включают исполняемый код и условные переходы, которые используют MATLAB в качестве языка действий, отображают гранулированную раскраску текста, основанную на том, какие результаты удовлетворяются. Грин указывает на удовлетворенные результаты, а красный - на неудовлетворенные результаты. Для примера рассмотрим следующие графики:

В этом примере if оператор оценивался как истинный, так и ложный и поэтому имеет полный Decision Coverage. В рамках оператора условие a > 0 оценивается как true, так и false и имеет полное покрытие условия. Условие b > 0, однако, оценен до истинного, но не ложного и, следовательно, имеет только частичное покрытие условия.

Получение кумулятивного покрытия для переиспользуемых подсистем и конструкций Stateflow ®

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

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)