Если вы задаете инструмент покрытия кода для SIL или PIL симуляции, программное обеспечение представляет отчет генерации кода, который предоставляет сводным данным и аннотациям кода с информацией о покрытии. Каждая аннотация кода сопоставлена с функцией кода и указывает на природу покрытия функции во время выполнения кода.
Отчет генерации кода также позволяет вам перейти легко между блоками в вашей модели и соответствующими разделами в исходном коде. Можно также просмотреть аннотации покрытия и перейти к соответствующим блокам модели в Представлении кода.
Совокупные данные о покрытии в отчете генерации кода выведены из оснащенных файлов, сопоставленных с вашей последней симуляцией топ-модели и данными о покрытии, собранными от симуляций с другими топ-моделями, которые совместно используют модели, на которые ссылаются, с вашей текущей топ-моделью.
Программное обеспечение предоставляет аннотации 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 и не совпадает с кодом первоисточника. Например, исходный код с Для подробной информации о покрытии обратитесь к отчету Испытательного стенда LDRA. | =>Σ | Нулевое покрытие — зондирует в строке исходного кода или файлах, включенных исходной строкой кода, не осуществленной. |
=>Σ | Покрытие зондирует в строке исходного кода или любом включенном файле, частично осуществленном. | |
Σ | Покрытие зондирует в строке исходного кода или включенных файлах, полностью осуществленных. |
Совокупные данные о покрытии в отчете генерации кода выведены из оснащенных файлов, сопоставленных с вашей последней симуляцией топ-модели и данными о покрытии, собранными от симуляций с другими топ-моделями, которые совместно используют модели, на которые ссылаются, с вашей текущей топ-моделью.
Программное обеспечение предоставляет аннотации BullseyeCoverage в отчете генерации кода и в Представлении кода, чтобы помочь вам рассмотреть покрытие кода.
Этот пример показывает два вида аннотаций. В линии 41, TF указывает что if
решение имело оба истинных и ложных результата во время симуляции. В линии 52, => F указывает что if
решение было ложным только во время симуляции.
В Представлении кода цвет каждой панели и аннотаций показывает сумму покрытия соответствующей строки кода или функции кода. Грин указывает, что полный охват, желтый, указывает, что частичное покрытие, и красный не указывает ни на какое покрытие.
Эта таблица описывает аннотации BullseyeCoverage кода, которые вы можете видеть в отчете генерации кода, представленном SIL симуляцией.
Функция кода | Символ аннотации | Что произошло в процессе моделирования |
---|---|---|
Решение | => | Решение, не выполняемое. |
Tf | Решение, оцененное обе истины и лжи. | |
=> T | Решение оцененная истина только. | |
=> F | Решение оценило ложь только. | |
Функция | => | Функция, не вызванная. |
@fcn | Функция вызвана. | |
Метка Switch | => | Переключите команду, не используемую. |
Коротковолновый | Переключите используемую команду. | |
Постоянный | k | Решение или условие были постоянными, который не позволил изменения покрытия. |
Условие | => | Условие, с которым не сталкиваются. |
tf | Условие, оцененное обе истины и лжи. | |
=> t | Условие оцененная истина только. | |
=> f | Условие оценило ложь только. | |
Попробовать | => | Попробуйте блок, никогда не завершался. |
Попробовать | Попробуйте покрытый блок. | |
Выгода | => | Отловите блок, не покрытый. |
\cat | Отловите покрытый блок. |