ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ВСТРОЕННЫХ СИСТЕМ. Общие требования к разработке и документированию
Шрифт:
Обозначения:
* — цель должна быть удовлетворена с обеспечением независимости;
0 — цель должна быть удовлетворена;
пробел — удовлетворение цели на усмотрение заказчика;
1 — документ должен удовлетворять целям категории контроля 1 (КК1);
2 — документ должен удовлетворять целям категории контроля 2 (КК2).
Таблица А.7 — Верификация результатов процесса верификации ПО
| Цель | Применимость к уровням ПО | Результат | Категория контроля по уровням ПО | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| Описание | Ссылка | А | В | С | D | Описание | Ссылка | А | В | С | D |
| Тестовые процедуры корректны | 8.3.6 б), 8.5.4 | * | 0 | 0 | ПО Процедуры верификации ПО | 12.21 | 2 | 2 | 2 | ||
| Описание квалификационного тестирования ПО | 12.22 | 2 | 2 | 2 | |||||||
| Результаты тестов корректны и все расхождения объяснены | 8.3.6 б), 8.5.4 | * | 0 | 0 | Результаты верификации ПО | 12.23 | 2 | 2 | 2 | ||
| Отчет о квалификационном тестировании ПО | 12.24 | 2 | 2 | 2 | |||||||
| Тестовое покрытие требований верхнего уровня достигнуто | 8.4.4.1, 8.5.4 | * | 0 | 0 | 0 | Результаты верификации ПО | 12.23 | 2 | 2 | 2 | 2 |
| Отчет о квалификационном тестировании ПО | 12.24 | 2 | 2 | 2 | 2 | ||||||
| Тестовое покрытие требований нижнего уровня достигнуто | 8.4.4.1 | * | 0 | 0 | Результаты верификации ПО | 12.23 | 2 | 2 | 2 | ||
| Тестовое покрытие структуры ПО (модифицированное покрытие условий/решений) достигнуто | 8.4.4.2 | * | Результаты верификации ПО | 12.23 | 2 | ||||||
| Тестовое покрытие структуры ПО (покрытие решений) достигнуто | 8.4.4.2 а), 8.4.4.2 б) | * | * | Результаты верификации ПО | 12.23 | 2 | 2 | ||||
| Тестовое покрытие структуры ПО (покрытие операторов) достигнуто | 8.4.4.2 а), 8.4.4.2 б) | * | * | 0 | Результаты верификации ПО | 12.23 | 2 | 2 | 2 | ||
| Тестовое покрытие структуры ПО (связи по управлению и связи по данным) достигнуто | 8.4.4.2 в) | * | * | 0 | Результаты верификации ПО | 12.23 | 2 | 2 | 2 |
Обозначения:
* — цель должна быть удовлетворена с обеспечением независимости;
0 — цель должна быть удовлетворена;
пробел — удовлетворение цели на усмотрение заказчика;
2 — документ должен удовлетворять целям категории контроля 2 (КК2).
Таблица А.8 — Процесс управления конфигурацией ПО
| Цель | Применимость к уровням ПО | Результат | Категория контроля по уровням ПО | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| Описание | Ссылка | А | В | С | D | Описание | Ссылка | А | В | С | D |
| Элементы конфигурации идентифицированы | 9.2.1 | 0 | 0 | 0 | 0 | Протоколы управления конфигурацией ПО | 12.29 | 2 | 2 | 2 | 2 |
| Установлены базовая линия и трассируемость | 9.2.3 | 0 | 0 | 0 | 0 | Указатель конфигурации ПО | 12.26 | 1 | 1 | 1 | 1 |
| Протоколы управления конфигурацией ПО | 12.29 | 2 | 2 | 2 | 2 | ||||||
| Установлены отчетность о дефектах, просмотры изменений, регистрация состояния конфигурацией | 9.2.4, 9.2.5 9.2.6, 9.2.7 | 0 | 0 | 0 | 0 | Cообщения о дефектах | 12.28 | 2 | 2 | 2 | 2 |
| Протоколы управления конфигурацией ПО | 12.29 | 2 | 2 | 2 | 2 | ||||||
| Установлены архивирование, получение из архива и выпуск версии | 9.2.8 | 0 | 0 | 0 | 0 | Протоколы управления конфигурацией ПО | 12.29 | 2 | 2 | 2 | 2 |
| Установлено управление загрузкой ПО | 9.2.9 | 0 | 0 | 0 | 0 | Протоколы управления конфигурацией ПО | 12.29 | 2 | 2 | 2 | 2 |
| Установлен контроль среды жизненного цикла ПО | 9.2.10 | 0 | 0 | 0 | 0 | Указатель конфигурации среды жизненного цикла ПО | 12.25 | 1 | 1 | 1 | 2 |
| Протоколы управления конфигурацией ПО | 12.29 | 2 | 2 | 2 | 2 |
Обозначения:
0 — цель должна быть удовлетворена;
1 — документ должен удовлетворять целям категории контроля 1 (КК1);
2 — документ должен удовлетворять целям категории контроля 2 (КК2).
Таблица А.9 — Процесс обеспечения качества ПО
| Цель | Применимость к уровням ПО | Результат | Категория контроля по уровням ПО | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| Описание | Ссылка | А | В | С | D | Описание | Ссылка | А | В | С | D |
| Обеспечена уверенность в том, что процессы разработки ПО и интегральные процессы соответствуют утвержденным планам и стандартам ПО | 10.1 а) | * | * | * | * | Протоколы обеспечения качества ПО | 12.30 | 2 | 2 | 2 | 2 |
| Обеспечена уверенность, что удовлетворены критерии переходов между процессами жизненного цикла ПО | 10.1 б) | * | * | Протоколы обеспечения качества ПО | 12.30 | 2 | 2 | 2 | 2 | ||
| Выполнен просмотр соответствия ПО | 10.1 в), 10.3 | * | * | * | * | Протоколы обеспечения качества ПО | 12.30 | 2 | 2 | 2 | 2 |
Обозначения:
* — цель должна быть удовлетворена с обеспечением независимости;
пробел — удовлетворение цели на усмотрение заказчика;
2 — документ должен удовлетворять целям категории контроля 2 (КК2).
Таблица А. 10 — Процесс сертификационного сопровождения ПО
| Цель | Применимость к уровням ПО | Результат | Категория контроля по уровням ПО | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| Описание | Ссылка | А | В | С | D | Описание | Ссылка | А | В | С | D |
| Установлено взаимодействие и взаимопонимание между соискателем и сертифицирующей организацией | 11 | 0 | 0 | 0 | 0 | План сертификации в части ПО | 12.1 | 1 | 1 | 1 | 1 |
| Предложены средства достижения согласия и достигнута согласованность с Планом сертификации в части ПО | 11.1 | 0 | 0 | 0 | 0 | План сертификации в части ПО | 12.1 | 1 | 1 | 1 | 1 |
| Представлены доказательства согласованности | 11.2 | 0 | 0 | 0 | 0 | Итоговый документ разработки ПО | 12.31 | 1 | 1 | 1 | 1 |
| Указатель конфигурации ПО | 12.26 | 1 | 1 | 1 | 1 |
Обозначения:
0 — цель должна быть удовлетворена;
1 — документ должен удовлетворять целям категории контроля 1 (КК1).