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

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

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

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

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

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

Примечание

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

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

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

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

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

Функция кода	Символ аннотации	Что произошло во время симуляции
Функция	@fcn	Функциональный `name` возвращен через эту точку выхода.
Функция	=>	Функциональный `name` никогда не возвращался через эту точку выхода.
Ответвление/условие	=>	Условие, с которым не сталкиваются.
	=> 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	Отловите покрытый блок.

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