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