Подробный отчет о проверке кода для модели или ссылочной модели содержит разделы Результаты отслеживания (Traceability Results) и Подробности отслеживания (Traceability Details). В этих разделах представлены сводные и подробные отчеты о двунаправленном сопоставлении модели и кода. Общий отчет об отслеживаемости документирует строки кода, реализующие определенный элемент модели, и элементы модели, которые способствовали созданию строки кода.
Следующий фрагмент отчета показывает результаты суммарной прослеживаемости для сгенерированного кода, структурно эквивалентного соответствующей модели.
В разделе Результаты отслеживания (Traceability Results) отображаются:
Общее значение результата отслеживания, агрегированное из подразделов отчета об отслеживании. Возможные значения результатов отслеживания: Трассировка (Traceability Results), Частично трассировка (Partially traced) или Неудача трассировки (Failed to trace).
Результаты отслеживания на уровне подразделов:
Результаты отслеживания по модели и коду
Результаты отслеживания по коду модели
Значения результатов отслеживания на уровне подраздела агрегируются из статуса отслеживания каждого объекта (элемента модели или строки кода) в подразделе. Каждый подраздел возвращает значения Traced, Partially traced или Failed to trace.
Результаты отслеживания на уровне объекта. Каждый элемент модели или строка кода в подразделе возвращает значение статуса.
| Элемент модели или строка кода | Возможное значение статуса |
|---|---|
Элементы модели:
| Прослеженный Частично обработано Не удается обработать Не удалось выполнить трассировку |
Строки кода | Прослеженный Частично обработано Не удается обработать Не удалось выполнить трассировку Нефункциональный Не обработано |
Не обработано - строки кода C, которые не были обработаны для отслеживания кода к модели. Например, код, находящийся вне области проверенных функций. Один #include оператор, расположенный вне области действия шага модели или функции инициализации, не обрабатывается для отслеживания кода к модели.
Нефункциональные - строки кода C, которые:
Пустой
Содержать только комментарии
Открывающие или закрывающие кронштейны ({ и })
Не удается обработать - строки кода C, которые являются одной из следующих:
Не соответствовать ни одному объекту модели
Один из следующих маркеров: ';', ')', '(', '[', ']'
Когда статус отслеживания на уровне объекта агрегируется для получения значения статуса на уровне подраздела, статус самого серьезного объекта становится статусом подраздела.
| Состояние на самом суровом уровне объекта | Результирующий статус на уровне подраздела |
|---|---|
| Не удалось выполнить трассировку | Не удалось выполнить трассировку |
| Частично обработано или невозможно обработать | Частично прослеживается |
| Отслеживается, не функционирует или не обрабатывается | Прослеженный |
Соответственно, когда статус отслеживания на уровне сечения агрегируется для получения значения Результаты отслеживания (Traceability Results), статус наиболее серьезного подраздела становится общим статусом отслеживания.
| Состояние на самом суровом уровне подраздела | Результирующий общий статус отслеживания |
|---|---|
| Не удалось выполнить трассировку | Не удалось выполнить трассировку |
| Частично прослеживается | Частично прослеживается |
| Прослеженный | Прослеженный |
Следующий пример отчета показывает, как агрегируется статус отслеживания, когда один или несколько объектов не удается отследить.
