| 0 | Результаты верификации ПО | 12.23 | 2 | 2 | |||||||
| Архитектура ПО верифицируема | 8.3.2 г) | 0 | 0 | Результаты верификации ПО | 12.23 | 2 | 2 | ||||
| Архитектура ПО соответствует стандартам на процесс проектирования ПО | 8.3.2 д) | 0 | 0 | 0 | Результаты верификации ПО | 12.23 | 2 | 2 | 2 | ||
| Подтверждается целостность разбиения ПО | 8.3.2 е) | * | 0 | 0 | 0 | Результаты верификации ПО | 12.23 | 2 | 2 | 2 | 2 |
Обозначения:
* — цель должна быть удовлетворена с обеспечением независимости;
0 — цель должна быть удовлетворена;
пробел — удовлетворение цели на усмотрение заказчика;
2 — документ должен удовлетворять целям категории контроля 2 (КК2).
Таблица А.5 — Верификация результатов процесса кодирования и интеграции ПО
| Цель | Применимость к уровням ПО | Результат | Категория контроля по уровням ПО | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| Описание | Ссылка | А | В | С | D | Описание | Ссылка | А | В | С | D |
| Исходный код согласуется с требованиями нижнего уровня | 8.3.4 а) | * | * | 0 | Результаты верификации ПО | 12.23 | 2 | 2 | 2 | ||
| Исходный код согласуется с архитектурой ПО | 8.3.4 б) | ||||||||||
