Сводные данные покрытия кода и аннотации

Если вы задаете инструмент покрытия кода для SIL или PIL симуляции, программное обеспечение представляет отчет генерации кода, который предоставляет сводным данным и аннотациям кода с информацией о покрытии. Каждая аннотация кода сопоставлена с функцией кода и указывает на природу покрытия функции во время выполнения кода.

Отчет генерации кода также позволяет вам перейти легко между блоками в вашей модели и соответствующими разделами в исходном коде. Можно также просмотреть аннотации покрытия и перейти к соответствующим блокам модели в Представлении кода.

Покрытие испытательного стенда LDRA

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

Программное обеспечение предоставляет аннотации LDRA Testbed® в отчете генерации кода и в Представлении кода, чтобы помочь вам рассмотреть покрытие кода.

Примечание

Не используйте один только отчет генерации кода, чтобы проверить, что вы достигли своих целей покрытия. Необходимо обратиться к Отчету Испытательного стенда LDRA.

Этот пример показывает три вида аннотаций. На линиях 134, 139, 140, и 141, аннотация указывает, что покрытие оператора для каждой из этих строк кода не завершено.

При установке курсора на аннотацию => b производит подсказку.

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

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

Установите свой курсор на аннотацию ^b, чтобы видеть подсказку. подсказка указывает, какие места назначения ветви застрахованы и которые не покрыты.

Эта таблица описывает аннотации Испытательного стенда кода LDRA, которые вы можете видеть в отчете генерации кода, представленном SIL и PIL симуляциями.

Функция кодаСимвол аннотацииЧто произошло в процессе моделирования
Функция@fcn FunctionName возвращенный через эту точку выхода.
=>FunctionName никогда не возвращался через эту точку выхода.
Ветвь/условие=>Условие, с которым не сталкиваются.
=> tУсловие оцененная истина только.
=> fУсловие оценило ложь только.
tf Условие, оцененное обе истины и лжи.
Ветвь/решение=>Ветвь никогда не сталкивалась.
=> bПерейдите по крайней мере одному застрахованному месту назначения и ветвь, по крайней мере, еще одному месту назначения, не застрахованному.
bВетвь полностью осуществлена.
Модифицированное Условие/Decision Coverage (MC/DC)=> мГцУсловие независимо не влияло на результат решения.
мГцУсловие независимо влияло на результат решения.
Оператор Операторы, сопоставленные с покрытой линией.
Не все операторы, сопоставленные с покрытой линией.

Код, который переформатирован Испытательным стендом LDRA и не совпадает с кодом первоисточника. Например, исходный код с #include операторы, чтобы включать другие файлы и исходный код с #define операторы для макросов.

Для подробной информации о покрытии обратитесь к отчету Испытательного стенда LDRA.

=>ΣНулевое покрытие — зондирует в строке исходного кода или файлах, включенных исходной строкой кода, не осуществленной.
=>ΣПокрытие зондирует в строке исходного кода или любом включенном файле, частично осуществленном.
ΣПокрытие зондирует в строке исходного кода или включенных файлах, полностью осуществленных.

Информация о BullseyeCoverage

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

Программное обеспечение предоставляет аннотации BullseyeCoverage в отчете генерации кода и в Представлении кода, чтобы помочь вам рассмотреть покрытие кода.

Этот пример показывает два вида аннотаций. В линии 41, TF указывает что if решение имело оба истинных и ложных результата во время симуляции. В линии 52, => F указывает что if решение было ложным только во время симуляции.

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

Эта таблица описывает аннотации BullseyeCoverage кода, которые вы можете видеть в отчете генерации кода, представленном SIL симуляцией.

Функция кодаСимвол аннотацииЧто произошло в процессе моделирования
Решение=>Решение, не выполняемое.
Tf Решение, оцененное обе истины и лжи.
=> TРешение оцененная истина только.
=> FРешение оценило ложь только.
Функция=>Функция, не вызванная.
@fcn Функция вызвана.
Метка Switch=>Переключите команду, не используемую.
КоротковолновыйПереключите используемую команду.
ПостоянныйkРешение или условие были постоянными, который не позволил изменения покрытия.
Условие=>Условие, с которым не сталкиваются.
tf Условие, оцененное обе истины и лжи.
=> tУсловие оцененная истина только.
=> fУсловие оценило ложь только.
Попробовать=>Попробуйте блок, никогда не завершался.
ПопробоватьПопробуйте покрытый блок.
Выгода=>Отловите блок, не покрытый.
\catОтловите покрытый блок.

Похожие темы

Для просмотра документации необходимо авторизоваться на сайте