ГОСТ Р ИСО/МЭК 18045—2013
Этот шаг оценивания может быть удовлетворен посредством предоставления функциональной
спецификации базового компонента для тех интерфейсов, которые являются интерфейсами ФБО ба
зового компонента.
ИСО/МЭК 15408-3 ACO_DEV.3.2C: В информации по разработке должны быть идентифициро
ваны подсистемы базового компонента, которые предоставляют интерфейсы базового компонен
та. используемого в составном 00.
15.4.3.3.3 Шаг оценивания ACO_DEV.3-3
Оценщик должен исследовать информацию о разработке, чтобы сделать заключение о том,
что идентифицированы все подсистемы базового компонента, которые предоставляют интерфейсы ба
зового компонента зависимому.
Для тех интерфейсов, которые считаются частью ИФБО базового компонента, подсистемы, свя
занные с интерфейсами, будут рассматриваться во время деятельности по оценке семейства «Проект
00» (ADV_TDS) для базового компонента. Интерфейсы, на которые полагается зависимый компонент, и
которые при этом не являются частью ИФБО базового компонента, прослеживаются к подсистемам,
находящимся вне ФБО базового компонента.
ИСО/МЭК 15408-3 ACO_DEV.3.3C: В информации по разработке долж>ю быть представлено вы
сокоуровневое описание режима функционирования подсистем базового компонента, которые под
держивают выполнение ФТБзависимого компонента.
15.4.3.3.4 Шаг оценивания ACO_DEV.3-4
Оценщик должен исследовать информацию о разработке, чтобы сделать заключение о том.
что в ней описан режим функционирования подсистем базового компонента, которые поддерживают
выполнение ФТБ для зависимого компонента.
Зависимый компонент вызывает интерфейсы базового компонента для предоставления базовым
компонентом зависимому некоторых сервисов. В информации о разработке должно приводиться опи
сание верхнего уровня для соответствующего вызываемым интерфейсам режима функционирования
базового компонента. Описание безопасного режима функционирования базового компонента обрисо
вывает в общих чертах, каким образом базовый компонент предоставляет необходимый сервис при вы
зове интерфейса. Это описание должно быть осуществлено на уровне, сходном с предусматриваемым по
ADV_TDS.1.4C. Поэтому предоставление свидетельств оценки базового компонента по проекту ОО,
когда интерфейсы, вызываемые зависимым компонентом, являются интерфейсами ФБО базового ком
понента. удовлетворяет требованиям данного шага оценивания. Если интерфейсы, вызываемые за
висимым компонентом, не являются ИФБО базового компонента, связанный с такими интерфейсами
безопасный режим функционирования не обязательно должен быть описан в свидетельствах проекта
ОО базового компонента.
ИСО/МЭК 15408-3 ACO_DEV.3.4C: В информации о разработке должно быть обеспечено про
слеживание интерфейсов к подсистемам базового компонента.
15.4.3.3.5 Шаг оценивания ACO_DEV.3-5
Оценщик должен исследовать информацию о разработке, чтобы сделать заключение о том.
что между интерфейсами и подсистемами базового компонента имеется точное соответствие.
В случае, если оценщику доступны проект ОО и свидетельства функциональной спецификации базо
вого компонента, он может использовать эти свидетельства для проверки точности соответствия между ин
терфейсами иподсистемами базового компонента как использующегося всоставном ОО. Те интерфейсы ба
зового компонента, которые являются частью ИФБО базового компонента, будутописаны в функциональной
спецификации базовогокомпонента, асвязанные с этими интерфейсами подсистемы будутописаны в свиде
тельствах попроекту ОО базового компонента. Прослеживание между этими подсистемами и интерфейсами
представлено всвидетельствах проекта ОО для базового компонента.
Если же интерфейс базового компонента не является частью ИФБО базового компонента, для ве
рификации точности соответствия будет использоваться описание режима функционирования подси
стемы. предоставленное в информации о разработке.
ИСО/МЭК 15408-3 ACO_DEV.3.5C: Информация по разработке должна показывать соответ
ствие между используемыми в составном ОО интерфейсами базового и зависимого компонентов
для поддержки ФБО зависимого компонента.
15.4.3.3.6 Шаг оценивания ACO_DEV.3-6
Оценщик должен исследовать информацию о разработке, чтобы сделать заключение о том.
что между интерфейсами базового компонента и интерфейсами, на которые полагается зависимый
компонент, имеется точное соответствие.
202