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