| 1 | 1 | 2 | |||||||||
| Результаты верификации ПО | 12.23 | 2 | 2 | 2 | |||||||
| Исполняемый объектный код устойчив относительно входов, определенных требованиями нижнего уровня | 8.4.2, 8.4.3 в) | * | 0 | 0 | 0 | Процедуры верификации ПО | 12.21 | 1 | 1 | 2 | 2 |
| Результаты верификации ПО | 12.23 | 2 | 2 | 2 | 2 | ||||||
| Исполняемый код совместим с объектным компьютером 12.24 | 8.4.3 а) | 0 | 0 | 0 | 0 | Процедуры верификации ПО | 12.21 | 1 | 1 | 2 | 2 |
| Описание квалификационного тестирования ПО | 12.22 | 1 | 1 | 2 | 2 | ||||||
| Результаты верификации ПО | 12.23 | 2 | 2 | 2 | 2 | ||||||
| Отчет о квалификационном тестировании ПО | 12.24 | 2 | 2 | 2 | 2 |
Обозначения:
* — цель должна быть удовлетворена с обеспечением независимости;
0 — цель должна быть удовлетворена;
пробел — удовлетворение цели на усмотрение заказчика;
1 — документ должен удовлетворять целям категории контроля 1 (КК1);
2 — документ должен удовлетворять целям категории контроля 2 (КК2).
Таблица А.7 — Верификация результатов процесса верификации ПО
| Цель | Применимость к уровням ПО | Результат | Категория контроля по уровням ПО | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| Описание | Ссылка | А | В | С | D | Описание | |||||
