| А |
В |
С |
D |
Описание |
Ссылка |
А |
В |
С |
D |
| Требования нижнего уровня к ПО согласуются с требованиями верхнего уровня |
8.3.3 а) |
* |
* |
0 |
|
Результаты верификации ПО |
12.23 |
2 |
2 |
2 |
|
| Требования нижнего уровня точны и непротиворечивы |
8.3.3 б) |
* |
* |
0 |
|
Результаты верификации ПО |
12.23 |
2 |
2 |
2 |
|
| Требования нижнего уровня совместимы с объектным компьютером |
8.3.3 в) |
0 |
0 |
|
|
Результаты верификации ПО |
12.23 |
2 |
2 |
|
|
| Требования нижнего уровня верифицируемы |
8.3.3 г) |
0 |
0 |
|
|
Результаты верификации ПО |
12.23 |
2 |
2 |
|
|
| Требования нижнего уровня соответствуют стандартам |
8.3.3 д) |
0 |
0 |
0 |
|
Результаты верификации ПО |
12.23 |
2 |
2 |
2 |
|
| Требования нижнего уровня трассируемы к требованиям верхнего уровня |
8.3.3 е) |
0 |
0 |
0 |
|
Результаты верификации ПО |
12.23 |
2 |
2 |
2 |
|
| Алгоритмы точны и корректны |
8.3.3 ж) |
* |
* |
0 |
|
Результаты верификации ПО |
12.23 |
2 |
2 |
2 |
|
| Архитектура ПО согласуется с требованиями верхнего уровня |
8.3.2 а) |
* |
0 |
0 |
|
Результаты верификации ПО |
12.23 |
2 |
2 |
2 |
|
| Архитектура ПО непротиворечива |
8.3.2 б) |
* |
0 |
0 |
|
Результаты верификации ПО |
12.23 |
2 |
2 |
2 |
|
| Архитектура ПО совместима с объектным компьютером |
8.3.2 в) |
0 |
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 |