Б.1.1. Представление реализации (ADV_IMP)

Цели

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

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.