ГОСТ Р ИСО/МЭК 15408-3-2013
11.6.9ADV_TDS.6Полный полуформальный модульный проект с
формальным представлением проекта на верхнем уровне
Зависимости:ADV_FSP.6Полнаяполуформальнаяфункциональная
спецификация с дополнительной формальной спецификацией
11.6.9.1 Элементы действий разработчика
11.6.9.1.1ADV_TDS.6.1D
Разработчик должен представить проект 00.
11.6.9.1.2ADV_TDS.6.2D
Разработчик должен обеспечить прослеживание ИФБО в функциональной
спецификации к более низкому уровню декомпозиции, представленному в проекте
00
.
11.6.9.1.3ADV_TDS.6.3D
Разработчик должен представить формальную спецификацию подсистем
ФБО.
11.6.9.1.4ADV_TDS.6.4D
Разработчикдолженпредставитьдоказательствосоответствия
формальных спецификаций подсистем ФБО функциональной спецификации.
11.6.9.2
Элементы содержания и представления свидетельств
11.6.9.2.1
ADV_TDS.6.1C
В проекте должно приводиться описание структуры 00 на уровне подсистем.
11.6.9.2.2ADV_TDS.6.2C
В проекте должно приводиться описание структуры 00 на уровне модулей, с
присвоением каждому модулю категории либо осуществляющего выполнение ФТБ,
либо поддерживающего, либо не влияющего на выполнение ФТБ.
11.6.9.2.3ADV_TDS.6.3C
В проекте должны быть идентифицированы все подсистемы ФБО.
11.6.9.2.4ADV TDS.6.4C
124