Если вы задаете инструмент покрытия кода для 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 | Отловите покрытый блок. |
