ПРИЛОЖЕНИЕ А (рекомендуемое) Цели и результаты процессов в зависимости от уровня ПО
ПРИЛОЖЕНИЕ А (рекомендуемое)
Цели и результаты процессов в зависимости от уровня ПО
В настоящем приложении приведено описание требований сертификации для целей и результатов процессов жизненного цикла ПО в зависимости от уровня ПО. В таблицах А.1 — А.10 даны ссылки на ранее описанные в настоящем стандарте цели и результаты.
Таблица А.1 - Процесс планирования ПО
Цель Применимость к уровням ПО Результат Категория контроля по уровням ПО Описание Ссылка А В С D Описание Ссылка А В С D Определить виды работ процессов разработки ПО и интегральных процессов 6.1а), 6.3 0 0 0 0 План сертификации в части ПО 12.1 1 1 1 1 План разработки ПО 12.2 1 1 2 2 План верификации ПО 12.3 1 1 2 2 Определить критерии перехода, взаимосвязи и последовательность выполнения процессов 6.16), 6.3 0 0 0 План квалификационного тестирования ПО 12.4 1 1 2 2 План управления конфигурацией ПО 12.5 1 1 2 2 Определить среду жизненного цикла ПО 6.1 в) 0 0 0 План обеспечения качества ПО 12.6 1 1 2 2 План установки ПО 12.7 1 1 2 2 Рассмотреть дополнительные вопросы 6.1 г) 0 0 0 0 План передачи ПО 12.8 1 1 2 2 Определить стандарты на разработку ПО 6.1д) 0 0 0 Cтандарты на разработку требований к ПО 12.9 1 1 2 Стандарты на процесс проектирования ПО 12.10 1 1 2 Стандарты кодирования ПО 12.11 1 1 2 Согласование планов ПО с настоящим стандартом 6.1 е), 6.7 0 0 0 Протоколы обеспечения качества ПО 12.30 2 2 2 Результаты верификации ПО 12.23 2 2 2 Координация планов создания ПО 6.1 ж), 6.7 0 0 0 Протоколы обеспечения качества ПО 12.30 2 2 2 Результаты верификации ПО 12.23 2 2 2Обозначения:
0 — цель должна быть удовлетворена;
пробел — удовлетворение цели на усмотрение заказчика;
1 — документ должен удовлетворять целям категории контроля 1 (КК1);
2 — документ должен удовлетворять целям категории контроля 2 (КК2).
Таблица А.2 — Процессы разработки ПО
Цель Применимость к уровням ПО Результат Категория контроля по уровням ПО Описание Ссылка А В С D Описание Ссылка А В С D Разработать требования верхнего уровня 7.1.1 а) 0 0 0 0 Cпецификация системы/подсистемы 12.12 1 1 1 1 Спецификация требований к ПО 12.13 1 1 1 1 Спецификация требований к интерфейсу 12.14 1 1 1 1 Определить производные требования верхнего уровня 7.1.1 б) 0 0 0 0 Cпецификация требований к ПО 12.13 1 1 1 1 Спецификация требований к интерфейсу 12.14 1 1 1 1 ПО Разработать архитектуру ПО 7.2.1 а) 0 0 0 0 Описание проекта системы/подсистемы 12.15 1 1 2 2 Описание проекта ПО 12.16 1 1 2 2 Описание проекта интерфейса 12.17 1 1 2 2 Описание проекта базы данных 12.18 1 1 2 2 Разработать требования нижнего уровня 7.2.1 а) 0 0 0 0 Описание проекта ПО 12.16 1 1 2 2 Определить производные требования нижнего уровня 7.2.1 б) 0 0 0 0 Описание проекта ПО 12.16 1 1 2 2 Разработать исходный код 7.3.1 0 0 0 0 Исходный код ПО 12.19 1 1 1 1 Получить исполняемый объектный код и выполнить интеграцию ПО/аппаратуры 7.4.1 0 0 0 0 Исполняемый объектный код ПО 12.20 1 1 1 1 Подготовить руководства пользователя и руководства поддержки 5.9.3, 5.10.6 Спецификация программного средства 12.27 2 2 2 2 Описание эксплуатационной концепции 12.32 2 2 2 2 Руководство по эксплуатации компьютера 12.33 2 2 2 2 Руководство по программированию для компьютера 12.34 2 2 2 2 Руководство поддержки программно-аппаратных средств 12.35 2 2 2 2 Руководство оператора ПО 12.36 2 2 2 2 Руководство по входной/выходной информации ПО 12.37 2 2 2 2 Руководство пользователя ПО 12.38 2 2 2 2 Описание версии ПО 12.39 2 2 2 2Обозначения:
0 — цель должна быть удовлетворена;
пробел — удовлетворение цели на усмотрение заказчика;
1 — документ должен удовлетворять целям категории контроля 1 (КК1);
2 — документ должен удовлетворять целям категории контроля 2 (КК2).
Таблица А.3 — Верификация результатов процесса разработки требований к ПО
Цель Применимость к уровням ПО Результат Категория контроля по уровням ПО Описание Ссылка А В С D Описание Ссылка А В С D Требования верхнего уровня к ПО согласуются с требованиями к системе 8.3.1 а) * * 0 0 Результаты верификации ПО 12.23 2 2 2 2 Требования верхнего уровня точны и непротиворечивы 8.3.1 б) * * 0 0 Результаты верификации ПО 12.23 2 2 2 2 Требования верхнего уровня совместимы с объектным компьютером 8.3.1 в) 0 0 Результаты верификации ПО 12.23 2 2 Требования верхнего уровня верифицируемы 8.3.1 г) 0 0 0 Результаты верификации ПО 12.23 2 2 2 Требования верхнего уровня соответствуют стандартам на разработку требований к ПО 8.3.1 д) 0 0 0 0 Результаты верификации ПО 12.23 2 2 2 2 Требования верхнего уровня трассируемы к системным требованиям 8.3.1 е) 0 0 0 0 Результаты верификации ПО 12.23 2 2 2 2 Алгоритмы точны и корректны 8.3.1 ж) * * 0 Результаты верификации ПО 12.23 2 2 2Обозначения:
* — цель должна быть удовлетворена с обеспечением независимости;
0 — цель должна быть удовлетворена;
пробел — удовлетворение цели на усмотрение заказчика;
2 — документ должен удовлетворять целям категории контроля 2 (КК2).
Таблица А.4 — Верификация результатов процесса проектирования ПО
Цель Применимость к уровням ПО Результат Категория контроля по уровням ПО Описание Ссылка А В С 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Обозначения:
* — цель должна быть удовлетворена с обеспечением независимости;
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).