При указании инструмента покрытия кода для моделирования SIL или PIL программа создает отчет о создании кода, который предоставляет сводные данные и аннотации кода с информацией о покрытии. Каждая аннотация кода связана с элементом кода и указывает характер покрытия элемента во время выполнения кода.
Отчет о создании кода также позволяет легко перемещаться между блоками в модели и соответствующими разделами в исходном коде. Можно также просмотреть аннотации покрытия и перейти к соответствующим блокам модели в представлении «Код».
Совокупные данные покрытия в отчете о создании кода получены из инструментальных файлов, связанных с последним моделированием модели верхнего уровня и данными покрытия, собранными из моделирования с другими моделями верхнего уровня, которые совместно используют ссылочные модели с текущей моделью верхнего уровня.
Программное обеспечение предоставляет аннотации LDRA Testbed ® в отчете о создании кода и в представлении «Код», которые помогают просмотреть охват кода .
Примечание
Не используйте только отчет о создании кода для проверки достижения целей покрытия. Необходимо обратиться к отчету о тестировании LDRA.
В этом примере показаны три вида аннотаций. В строках 134, 139, 140 и 141 аннотация
указывает, что покрытие инструкции для каждой из этих строк кода не является полным.
При наведении курсора на аннотацию = > b появляется подсказка.
Эта подсказка указывает, что охвачено только одно назначение ветви. Код в фигурных скобках, который начинается в столбце 45 строки 134, не выполняется. В качестве if оператор в строке 139 находится внутри этого кода, соответствующая аннотация = > указывает, что ветвь не охватывается.
В представлении «Код» цвет каждой строки и аннотаций показывает объем покрытия соответствующей строки кода или признака кода. Зеленый цвет означает полное покрытие, желтый - частичное покрытие, красный - отсутствие покрытия.
Наведите курсор на аннотацию ^ b, чтобы увидеть подсказку. подсказка указывает, какие пункты назначения ветвей охвачены, а какие нет.
В этой таблице описываются аннотации кода LDRA Testbed, которые могут отображаться в отчете о создании кода, созданном при моделировании SIL и PIL.
| Функция кода | Обозначение аннотации | Что произошло во время моделирования |
|---|---|---|
| Функция | Fcn | Функция name вернулся через эту точку выхода. |
| => | Функция name никогда не возвращался через эту точку выхода. | |
| Ветвь/условие | => | Условие не обнаружено. |
| = > t | Оценено только условие true. | |
| = > f | Оценено только условие false. | |
| tf | Условие оценивается как true, так и false. | |
| Филиал/решение | => | Ветвь никогда не встречалась. |
| = > b | Перейти, по крайней мере, к одному охваченному адресату и перейти, по крайней мере, к другому не охваченному адресату. | |
| b | Отделение полностью выполнено. | |
| Модифицированное условие/покрытие принятия решений (MC/DC) | = > mc | Состояние не влияло независимо на исход решения. |
| мГц | Состояние независимо повлияло на исход решения. | |
| Заявление |
| Операторы, связанные со строкой. |
|
| Не все операторы, связанные со строкой. | |
|
Код, переформатированный LDRA Testbed и не соответствующий исходному коду. Например, исходный код с Для получения подробной информации о покрытии см. отчет LDRA Testbed. | =>Σ | Нулевой охват - зонды в строке исходного кода или файлы, включенные в строку исходного кода, не выполняются. |
| =>Σ | Зонды покрытия в строке исходного кода или любой включенный файл выполнены частично. | |
| Σ | Зонды покрытия в строке исходного кода или включенные файлы выполняются полностью. |
Совокупные данные покрытия в отчете о создании кода получены из инструментальных файлов, связанных с последним моделированием модели верхнего уровня и данными покрытия, собранными из моделирования с другими моделями верхнего уровня, которые совместно используют ссылочные модели с текущей моделью верхнего уровня.
Программное обеспечение предоставляет аннотации BullseyCoverage в отчете о создании кода и в представлении «Код», которые помогают просмотреть охват кода.
В этом примере показаны два вида аннотаций. На линии 41 TF указывает, что if решение имело как истинные, так и ложные результаты во время моделирования. В строке 52 = > F указывает, что if решение было ложным только во время моделирования.
В представлении «Код» цвет каждой строки и аннотаций показывает объем покрытия соответствующей строки кода или признака кода. Зеленый цвет означает полное покрытие, желтый - частичное покрытие, красный - отсутствие покрытия.
В этой таблице описаны аннотации кода BullseyCoverage, которые могут отображаться в отчете о создании кода, созданном при моделировании SIL.
| Функция кода | Обозначение аннотации | Что произошло во время моделирования |
|---|---|---|
| Решение | => | Решение не исполнено. |
| TF | Решение оценивалось как истинное, так и ложное. | |
| = > Т | Решение оценено только как истинное. | |
| = > F | Решение оценено только ложно. | |
| Функция | => | Функция не вызвана. |
| Fcn | Вызванная функция. | |
| Метка переключателя | => | Команда Switch не используется. |
| Коротковолновый | Используется команда switch. | |
| Постоянный | k | Решение или условие были постоянными, что не допускало каких-либо различий в охвате. |
| Состояние | => | Условие не обнаружено. |
| tf | Условие оценивается как true, так и false. | |
| = > t | Оценено только условие true. | |
| = > f | Оценено только условие false. | |
| Попробуй | => | Попытка блока не завершена. |
| Попробуй | Попробуйте закрыть блок. | |
| Выгода | => | Блок захвата не покрыт. |
| Кошка | Блок захвата закрыт. |