Б.1.1. Реализация ОО (ADV_IMP_EXT.3)

Цели

Цель проверки выполнения требования ADV_IMP_EXT.3 заключается в обеспечении прослеживания реализации ОО к представлению реализации ФБО.

ADV_IMP_EXT.3

Реализация ОО

Иерархический для:

нет подчиненных компонентов.

Зависимости:

ADV_IMP.2 Полное отображение представления реализации ФБО.

Элементы действий заявителя (разработчика, производителя)

ADV_IMP_EXT.3.1D

Заявитель (разработчик, производитель) должен предоставить реализацию ОО.

ADV_IMP_EXT.3.2D

Заявитель (разработчик, производитель) должен обеспечить прослеживание реализации ОО к представлению реализации ФБО.

Элементы содержания и представления документированных материалов

ADV_IMP_EXT.3.1C

В документации должны быть указаны состав и значения контрольных сумм элементов реализации ПО [выбор: загрузочные модули ПО, [назначение: иные типы элементов реализации ПО]].

ADV_IMP_EXT.3.2C

В прослеживании между реализацией ОО и представлением реализации должно быть продемонстрировано [выбор:

а) для аппаратной платформы - соответствие между реализацией аппаратной платформы и ее представлением реализации [выбор: схемы аппаратных средств, представления (кода) на языке описания аппаратных средств [назначение: иные формы представления реализации]];

б) для ПО - соответствие между реализацией ПО [выбор: загрузочные модули ПО, [назначение: иные типы элементов реализации ПО]] и их представлением реализации [выбор: исходные тексты ПО, [назначение: иные формы представления реализации]].

Элементы действий испытательной лаборатории

ADV_IMP_EXT.3.1E

Испытательная лаборатория должна подтвердить, что информация, представленная заявителем в документированных материалах, удовлетворяет всем требованиям к содержанию и представлению документированной информации, изложенным в ADV_IMP_EXT.3.1C и ADV_IMP_EXT.3.2C.