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