|
Цель |
Применимость к уровням ПО |
Результат |
Категория контроля по уровням ПО |
|
Описание |
Ссылка |
А |
В |
с |
D |
Описание |
Ссылка |
А |
В |
с |
D |
|
Требования нижнего уровня к ПО согласуются с требованиями верхнего уровня |
8.З.З а) |
* |
* |
0 |
|
Результаты верификации ПО |
12.2З |
2 |
2 |
2 |
|
|
Требования нижнего уровня точны и непротиворечивы |
8.З.З б) |
* |
* |
0 |
|
Результаты верификации ПО |
12.2З |
2 |
2 |
2 |
|
|
Требования нижнего уровня совместимы с объектным компьютером |
8.З.З в) |
0 |
0 |
|
|
Результаты верификации ПО |
12.2З |
2 |
2 |
|
|
|
Требования нижнего уровня верифицируемы |
8.З.З г) |
0 |
0 |
|
|
Результаты верификации ПО |
12.2З |
2 |
2 |
|
|
|
Требования нижнего уровня соответствуют стандартам |
8.З.З д) |
0 |
0 |
0 |
|
Результаты верификации ПО |
12.2З |
2 |
2 |
2 |
|
|
Требования нижнего уровня трассируемы к требованиям верхнего уровня |
8.З.З е) |
0 |
0 |
0 |
|
Результаты верификации ПО |
12.2З |
2 |
2 |
2 |
|
|
Алгоритмы точны и корректны |
8.З.З ж) |
* |
* |
0 |
|
Результаты верификации ПО |
12.2З |
2 |
2 |
2 |
|
|
Архитектура ПО согласуется с требованиями верхнего уровня |
8.З.2 а) |
* |
0 |
0 |
|
Результаты верификации ПО |
12.2З |
2 |
2 |
2 |
|
|
Архитектура ПО непротиворечива |
8.З.2 б) |
* |
0 |
0 |
|
Результаты верификации ПО |
12.2З |
2 |
2 |
2 |
|
|
Архитектура ПО совместима с объектным компьютером |
8.З.2 в) |
0 |
0 |
|
|
Результаты верификации ПО |
12.2З |
2 |
2 |
|
|