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