ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ВСТРОЕННЫХ СИСТЕМ. Общие требования к разработке и документированию
Шрифт:
| Цель | Применимость к уровням ПО | Результат | Категория контроля по уровням ПО | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| Описание | Ссылка | А | В | С | 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 |
Обозначения:
* — цель должна быть удовлетворена с обеспечением независимости;
0 — цель должна быть удовлетворена;
пробел — удовлетворение цели на усмотрение заказчика;
2 — документ должен удовлетворять целям категории контроля 2 (КК2).
Таблица А.5 — Верификация результатов процесса кодирования и интеграции ПО
| Цель | Применимость к уровням ПО | Результат | Категория контроля по уровням ПО | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| Описание | Ссылка | А | В | С | 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 г) | 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).
Таблица А.6 — Тестирование результатов процесса интеграции ПО
| Цель | Применимость к уровням ПО | Результат | Категория контроля по уровням ПО | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| Описание | Ссылка | А | В | С | D | Описание | Ссылка | А | В | С | D |
| Исполняемый объектный код согласуется с требованиями верхнего уровня | 8.4.2, 8.4.3 а), б), 8.5.4 | 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 | ||||||
| Исполняемый объектный код устойчив относительно входов, определенных требованиями верхнего уровня | 8.4.2, 8.4.3 а), б), 8.5.4 | 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 | ||||||
| Исполняемый объектный код согласуется с требованиями нижнего уровня | 8.4.2, 8.4.3 в) | * | * | 0 | Процедуры верификации ПО | 12.21 | 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 |