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

Если вы задаете инструмент покрытия кода для 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)	=> мГц	Условие независимо не влияло на результат решения.
Модифицированное Условие/Decision Coverage (MC/DC)	мГц	Условие независимо влияло на результат решения.
Оператор		Операторы, сопоставленные с покрытой линией.
Оператор		Не все операторы, сопоставленные с покрытой линией.
Код, который переформатирован Испытательным стендом LDRA и не совпадает с кодом первоисточника. Например, исходный код с `#include` операторы, чтобы включать другие файлы и исходный код с `#define` операторы для макросов. Для подробной информации о покрытии обратитесь к отчету Испытательного стенда LDRA.	=>Σ	Нулевое покрытие — зондирует в строке исходного кода или файлах, включенных исходной строкой кода, не осуществленной.
	=>Σ	Покрытие зондирует в строке исходного кода или любом включенном файле, частично осуществленном.
	Σ	Покрытие зондирует в строке исходного кода или включенных файлах, полностью осуществленных.

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

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

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

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

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

Документация