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