Сводные данные покрытия кода и аннотации
Если вы задаете инструмент покрытия кода для SIL симуляции или PIL симуляции, программное обеспечение предоставляет сводным данным и аннотациям кода с информацией о покрытии в Представлении кода. Каждая аннотация кода сопоставлена с функцией кода и указывает на природу покрытия функции во время выполнения кода. Представление кода также позволяет вам перейти легко между блоками в вашей модели и соответствующими разделами в исходном коде.
Покрытие инструмента ldra
Совокупные данные о покрытии в Представлении кода выведены из оснащенных файлов, сопоставленных с вашей последней симуляцией топ-модели и данными о покрытии, собранными от симуляций с другими топ-моделями, которые совместно используют модели, на которые ссылаются, с вашей текущей топ-моделью.
Программное обеспечение предоставляет аннотации Инструмента ldra в Представлении кода, чтобы помочь вам рассмотреть покрытие кода.
Примечание
Не используйте одно только Представление кода, чтобы проверить, что вы достигли своих целей покрытия. Необходимо обратиться к отчету LDRA.
В Представлении кода цвет каждой панели и аннотаций показывает сумму покрытия соответствующей строки кода или функции кода. Грин указывает, что полный охват, желтый, указывает, что частичное покрытие, и красный не указывает ни на какое покрытие.
Установите свой курсор на аннотацию ^b, чтобы видеть подсказку. подсказка указывает, какие места назначения ветви застрахованы и которые не покрыты.
Эта таблица описывает аннотации кода LDRA, которые вы можете видеть в Представлении кода, произведенном SIL симуляциями и PIL симуляциями.
| Функция кода | Символ аннотации | Что произошло в процессе моделирования |
|---|---|---|
| Функция | @fcn | FunctionName возвращенный через эту точку выхода. |
| => | FunctionName никогда не возвращался через эту точку выхода. | |
| Ветвь/условие | => | Условие, с которым не сталкиваются. |
| => t | Условие оцененная истина только. | |
| => f | Условие оценило ложь только. | |
| tf | Условие, оцененное обе истины и лжи. | |
| Ветвь/решение | => | Ветвь никогда не сталкивалась. |
| => b | Перейдите по крайней мере одному застрахованному месту назначения и ветвь, по крайней мере, еще одному месту назначения, не застрахованному. | |
| b | Ветвь полностью осуществлена. | |
| Модифицированное Условие/Decision Coverage (MC/DC) | => мГц | Условие независимо не влияло на результат решения. |
| мГц | Условие независимо влияло на результат решения. | |
| Оператор |
| Операторы, сопоставленные с покрытой линией. |
| Не все операторы, сопоставленные с покрытой линией. | |
|
Код, который переформатирован Испытательным стендом LDRA® и не совпадает с кодом первоисточника. Например, исходный код с Для подробной информации о покрытии обратитесь к отчету Испытательного стенда LDRA. | =>Σ | Нулевое покрытие — зондирует в строке исходного кода или файлах, включенных исходной строкой кода, не осуществленной. |
| =>Σ | Покрытие зондирует в строке исходного кода или любом включенном файле, частично осуществленном. | |
| Σ | Покрытие зондирует в строке исходного кода или включенных файлах, полностью осуществленных. |
Информация о BullseyeCoverage
Совокупные данные о покрытии в Представлении кода выведены из оснащенных файлов, сопоставленных с вашей последней симуляцией топ-модели и данными о покрытии, собранными от симуляций с другими топ-моделями, которые совместно используют модели, на которые ссылаются, с вашей текущей топ-моделью.
Программное обеспечение предоставляет аннотации BullseyeCoverage в Представлении кода, чтобы помочь вам рассмотреть покрытие кода.
В Представлении кода цвет каждой панели и аннотаций показывает сумму покрытия соответствующей строки кода или функции кода. Грин указывает, что полный охват, желтый, указывает, что частичное покрытие, и красный не указывает ни на какое покрытие.
Эта таблица описывает аннотации BullseyeCoverage кода, которые вы можете видеть в отчете генерации кода, представленном SIL симуляцией.
| Функция кода | Символ аннотации | Что произошло в процессе моделирования |
|---|---|---|
| Решение | => | Решение, не выполняемое. |
| Tf | Решение, оцененное обе истины и лжи. | |
| => T | Решение оцененная истина только. | |
| => F | Решение оценило ложь только. | |
| Функция | => | Функция, не вызванная. |
| @fcn | Функция вызвана. | |
| Метка Switch | => | Переключите команду, не используемую. |
| Коротковолновый | Переключите используемую команду. | |
| Постоянный | k | Решение или условие были постоянными, который не позволил изменения покрытия. |
| Условие | => | Условие, с которым не сталкиваются. |
| tf | Условие, оцененное обе истины и лжи. | |
| => t | Условие оцененная истина только. | |
| => f | Условие оценило ложь только. | |
| Попробовать | => | Попробуйте блок, никогда не завершался. |
| Попробовать | Попробуйте покрытый блок. | |
| Выгода | => | Отловите блок, не покрытый. |
| \cat | Отловите покрытый блок. |