Цели и результаты процессов в зависимости от уровня ПО
В настоящем приложении приведено описание требований сертификации для целей и результатов процессов жизненного цикла ПО в зависимости от уровня ПО. В таблицах А.1 - А.10 даны ссылки на ранее описанные в настоящем стандарте цели и результаты.
Таблица А.1 - Процесс планирования ПО
| Цель
| Применимость к уровням ПО
| Результат
| Категория контроля по уровням ПО
|
| Описание
| Ссылка
| А
| В
| С
| D
| Описание
| Ссылка
| А
| В
| С
| D
|
| Определить виды работ процессов разработки ПО и интегральных процессов
| 6.1а), 6.3
|
|
|
|
| План сертификации в части ПО
| 12.1
|
|
|
|
|
|
|
|
|
|
| План разработки ПО
| 12.2
|
|
|
|
|
|
|
|
|
|
| План верификации ПО
| 12.3
|
|
|
|
|
| Определить критерии перехода, взаимосвязи и последовательность выполнения процессов
| 6.1б), 6.3
|
|
|
|
| План квалификационного тестирования ПО
| 12.4
|
|
|
|
|
|
|
|
|
|
| План управления конфигурацией ПО
| 12.5
|
|
|
|
|
| Определить среду жизненного цикла ПО
| 6.1 в)
|
|
|
|
| План обеспечения качества ПО
| 12.6
|
|
|
|
|
|
|
|
|
|
| План установки ПО
| 12.7
|
|
|
|
|
| Рассмотреть дополнительные вопросы
| 6.1 г)
|
|
|
|
| План передачи ПО
| 12.8
|
|
|
|
|
| Определить стандарты на разработку ПО
| 6.1 д)
|
|
|
|
| Стандарты на разработку требований к ПО
| 12.9
|
|
|
|
|
|
|
|
|
|
| Стандарты на процесс проектирования ПО
| 12.10
|
|
|
|
|
|
|
|
|
|
| Стандарты кодирования ПО
| 12.11
|
|
|
|
|
| Согласование планов ПО с настоящим стандартом
| 6.1 е), 6.7
|
|
|
|
| Протоколы обеспечения качества ПО
| 12.30
|
|
|
|
|
|
|
|
|
|
| Результаты верификации ПО
| 12.23
|
|
|
|
|
| Координация планов создания ПО
| 6.1 ж), 6.7
|
|
|
|
| Протоколы обеспечения качества ПО
| 12.30
|
|
|
|
|
|
|
|
|
|
| Результаты верификации ПО
| 12.23
|
|
|
|
|
| Обозначения:
0 - цель должна быть удовлетворена;
пробел - удовлетворение цели на усмотрение заказчика;
1 - документ должен удовлетворять целям категории контроля 1 (КК1);
2 - документ должен удовлетворять целям категории контроля 2 (КК2).
|
Таблица А.2 - Процессы разработки ПО
| Цель
| Применимость к уровням ПО
| Результат
| Категория контроля по уровням ПО
|
| Описание
| Ссылка
| А
| В
| С
| D
| Описание
| Ссылка
| А
| В
| С
| D
|
| Разработать требования верхнего уровня
| 7.1.1 а)
|
|
|
|
| Спецификация системы/подсистемы
| 12.12
|
|
|
|
|
| Спецификация требований к ПО
| 12.13
|
|
|
| Спецификация требований к интерфейсу
| 12.14
|
|
|
| Определить производные требования верхнего уровня
| 7.1.1 б)
|
|
|
|
| Спецификация требований к ПО
| 12.13
|
|
|
|
|
|
|
|
|
|
|
| Спецификация требований к интерфейсу
| 12.14
|
|
|
|
|
| Разработать архитектуру ПО
| 7.2.1 а)
|
|
|
|
| Описание проекта системы/ подсистемы
| 12.15
|
|
|
|
|
| Описание проекта ПО
| 12.16
|
|
|
|
|
| Описание проекта интерфейса
| 12.17
|
|
|
|
|
| Описание проекта базы данных
| 12.18
|
|
|
|
|
| Разработать требования нижнего уровня
| 7.2.1 а)
|
|
|
|
| Описание проекта ПО
| 12.16
|
|
|
|
|
| Определить производные требования нижнего уровня
| 7.2.1 б)
|
|
|
|
| Описание проекта ПО
| 12.16
|
|
|
|
|
| Разработать исходный код
| 7.3.1
|
|
|
|
| Исходный код ПО
| 12.19
|
|
|
|
|
| Получить исполняемый объектный код и выполнить интеграцию ПО/аппаратуры
| 7.4.1
|
|
|
|
| Исполняемый объектный код ПО
| 12.20
|
|
|
|
|
| Подготовить руководства пользователя и руководства поддержки
| 5.9.3, 5.10.6
|
|
|
|
| Спецификация программного средства
| 12.27
|
|
|
|
|
| Описание эксплуатационной концепции
| 12.32
|
|
|
|
|
| Руководство по эксплуатации компьютера
| 12.33
|
|
|
|
|
| Руководство по программированию для компьютера
| 12.34
|
|
|
|
|
| Руководство поддержки программно-аппаратных средств
| 12.35
|
|
|
|
|
| Руководство оператора ПО
| 12.36
|
|
|
|
|
| Руководство по входной / выходной информации ПО
| 12.37
| 1
| 1
| 1
| 1
|
| Руководство пользователя ПО
| 12.38
|
|
|
|
|
| Описание версии ПО
| 12.39
|
|
|
|
|
| Обозначения:
0 - цель должна быть удовлетворена;
пробел - удовлетворение цели на усмотрение заказчика;
1 - документ должен удовлетворять целям категории контроля 1 (КК1);
2 - документ должен удовлетворять целям категории контроля 2 (КК2).
|
Таблица А.3 - Верификация результатов процесса разработки требований к ПО
| Цель
| Применимость к уровням ПО
| Результат
| Категория контроля по уровням ПО
|
| Описание
| Ссылка
| А
| В
| С
| D
| Описание
| Ссылка
| А
| В
| С
| D
|
| Требования верхнего уровня к ПО согласуются с требованиями к системе
| 8.3.1 а)
| *
| *
|
|
| Результаты верификации ПО
| 12.23
|
|
|
|
|
| Требования верхнего уровня точны и непротиворечивы
| 8.3.1 б)
| *
| *
|
|
| Результаты верификации ПО
| 12.23
|
|
|
|
|
| Требования верхнего уровня совместимы с объектным компьютером
| 8.3.1 в)
|
|
|
|
| Результаты верификации ПО
| 12.23
|
|
|
|
|
| Требования верхнего уровня верифицируемы
| 8.3.1 г)
|
|
|
|
| Результаты верификации ПО
| 12.23
|
|
|
|
|
| Требования верхнего уровня соответствуют стандартам на разработку требований к ПО
| 8.3.1 д)
|
|
|
|
| Результаты верификации ПО
| 12.23
|
|
|
|
|
| Требования верхнего уровня трассируемы к системным требованиям
| 8.3.1 е)
|
|
|
|
| Результаты верификации ПО
| 12.23
|
|
|
|
|
| Алгоритмы точны и корректны
| 8.3.1 ж)
| *
| *
|
|
| Результаты верификации ПО
| 12.23
|
|
|
|
|
| Обозначения:
* - цель должна быть удовлетворена с обеспечением независимости;
0 - цель должна быть удовлетворена; пробел - удовлетворение цели на усмотрение заказчика;
2 - документ должен удовлетворять целям категории контроля 2 (КК2).
|
Таблица А.4 - Верификация результатов процесса проектирования ПО
| Цель
| Применимость к уровням ПО
| Результат
| Категория контроля по уровням ПО
|
| Описание
| Ссылка
| А
| В
| С
| D
| Описание
| Ссылка
| А
| В
| С
| D
|
| Требования нижнего уровня к ПО согласуются с требованиями верхнего уровня
| 8.3.3 а)
| *
| *
|
|
| Результаты верификации ПО
| 12.23
|
|
|
|
|
| Требования нижнего уровня точны и непротиворечивы
| 8.3.3 б)
| *
| *
|
|
| Результаты верификации ПО
| 12.23
|
|
|
|
|
| Требования нижнего уровня совместимы с объектным компьютером
| 8.3.3 в)
|
|
|
|
| Результаты верификации ПО
| 12.23
|
|
|
|
|
| Требования нижнего уровня верифицируемы
| 8.3.3 г)
|
|
|
|
| Результаты верификации ПО
| 12.23
|
|
|
|
|
| Требования нижнего уровня соответствуют стандартам
| 8.3.3 д)
|
|
|
|
| Результаты верификации ПО
| 12.23
|
|
|
|
|
| Требования нижнего уровня трассируемы к требованиям верхнего уровня
| 8.3.3 е)
|
|
|
|
| Результаты верификации ПО
| 12.23
|
|
|
|
|
| Алгоритмы точны и корректны
| 8.3.3 ж)
| *
| *
|
|
| Результаты верификации ПО
| 12.23
|
|
|
|
|
| Архитектура ПО согласуется с требованиями верхнего уровня
| 8.3.2 а)
| *
|
|
|
| Результаты верификации ПО
| 12.23
|
|
|
|
|
| Архитектура ПО непротиворечива
| 8.3.2 б)
| *
|
|
|
| Результаты верификации ПО
| 12.23
|
|
|
|
|
| Архитектура ПО совместима с объектным компьютером
| 8.3.2 в)
|
|
|
|
| Результаты верификации ПО
| 12.23
|
|
|
|
|
| Архитектура ПО верифицируема
| 8.3.2 г)
|
|
|
|
| Результаты верификации ПО
| 12.23
|
|
|
|
|
| Архитектура ПО соответствует стандартам на процесс проектирования ПО
| 8.3.2 д)
|
|
|
|
| Результаты верификации ПО
| 12.23
|
|
|
|
|
| Подтверждается целостность разбиения ПО
| 8.3.2 е)
| *
|
|
|
| Результаты верификации ПО
| 12.23
|
|
|
|
|
| Обозначения:
* - цель должна быть удовлетворена с обеспечением независимости;
0 - цель должна быть удовлетворена; пробел - удовлетворение цели на усмотрение заказчика;
2 - документ должен удовлетворять целям категории контроля 2 (КК2).
|
Таблица А.5 - Верификация результатов процесса кодирования и интеграции ПО
| Цель
| Применимость к уровням ПО
| Результат
| Категория контроля по уровням ПО
|
| Описание
| Ссылка
| А
| В
| С
| D
| Описание
| Ссылка
| А
| В
| С
| D
|
| Исходный код согласуется с требованиями нижнего уровня
| 8.3.4 а)
| *
| *
|
|
| Результаты верификации ПО
| 12.23
|
|
|
|
|
| Исходный код согласуется с архитектурой ПО
| 8.3.4 б)
| *
|
|
|
| Результаты верификации ПО
| 12.23
|
|
|
|
|
| Исходный код верифицируем
| 8.3.4 в)
|
|
|
|
| Результаты верификации ПО
| 12.23
|
|
|
|
|
| Исходный код соответствует стандартам
| 8.3.4 г)
|
|
|
|
| Результаты верификации ПО
| 12.23
|
|
|
|
|
| Исходный код трассируем к требованиям нижнего уровня
| 8.3.4 д)
|
|
|
|
| Результаты верификации ПО
| 12.23
|
|
|
|
|
| Исходный код точен и непротиворечив
| 8.3.4 е)
| *
|
|
|
| Результаты верификации ПО
| 12.23
|
|
|
|
|
| Результаты процесса интеграции ПО полны и корректны
| 8.3.5
|
|
|
|
| Результаты верификации ПО
| 12.23
|
|
|
|
|
| Обозначения:
* - цель должна быть удовлетворена с обеспечением независимости;
0 - цель должна быть удовлетворена; пробел - удовлетворение цели на усмотрение заказчика;
2 - документ должен удовлетворять целям категории контроля 2 (КК2).
|
Таблица А.6 - Тестирование результатов процесса интеграции ПО
| Цель
| Применимость к уровням ПО
| Результат
| Категория контроля по уровням ПО
|
| Описание
| Ссылка
| А
| В
| С
| D
| Описание
| Ссылка
| А
| В
| С
| D
|
| Исполняемый объектный код согласуется с требованиями верхнего уровня
| 8.4.2,
|
|
|
|
| Процедуры верификации ПО
| 12.21
|
|
|
|
|
| 8.4.3 а), б), 8.5.4
|
|
|
|
| Описание квалификационного тестирования ПО
| 12.22
|
|
|
|
|
|
|
|
|
|
| Результаты верификации ПО
| 12.23
|
|
|
|
|
|
|
|
|
|
| Отчет о квалификационном тестировании ПО
| 12.24
|
|
|
|
|
| Исполняемый объектный код устойчив относительно входов, определенных требованиями верхнего уровня
| 8.4.2,
|
|
|
|
| Процедуры верификации ПО
| 12.21
|
|
|
|
|
| 8.4.3 а), б), 8.5.4
|
|
|
|
| Описание квалификационного тестирования ПО
| 12.22
|
|
|
|
|
|
|
|
|
|
| Результаты верификации ПО
| 12.23
|
|
|
|
|
|
|
|
|
|
| Отчет о квалификационном тестировании ПО
| 12.24
|
|
|
|
|
| Исполняемый объектный код согласуется с требованиями нижнего уровня
| 8.4.2, 8.4.3 в)
| *
| *
|
|
| Процедуры верификации ПО
| 12.21
|
|
|
|
|
|
|
|
|
| Результаты верификации ПО
| 12.23
|
|
|
|
|
| Исполняемый объектный код устойчив относительно входов, определенных требованиями нижнего уровня
| 8.4.2, 8.4.3 в)
| *
|
|
|
| Процедуры верификации ПО
| 12.21
|
|
|
|
|
|
|
|
|
| Результаты верификации ПО
| 12.23
|
|
|
|
|
| Исполняемый код совместим с объектным компьютером
| 8.4.3 а)
|
|
|
|
| Процедуры верификации ПО
| 12.21
|
|
|
|
|
| Описание квалификационного тестирования ПО
| 12.22
|
|
|
|
|
| Результаты верификации ПО
| 12.23
|
|
|
|
|
| Отчет о квалификационном тестировании ПО
| 12.24
|
|
|
|
|
| Обозначения:
* - цель должна быть удовлетворена с обеспечением независимости;
0 - цель должна быть удовлетворена;
пробел - удовлетворение цели на усмотрение заказчика;
1 - документ должен удовлетворять целям категории контроля 1 (КК1);
2 - документ должен удовлетворять целям категории контроля 2 (КК2).
|
Таблица А.7 - Верификация результатов процесса верификации ПО
| Цель
| Применимость к уровням ПО
| Результат
| Категория контроля по уровням ПО
|
| Описание
| Ссылка
| А
| В
| С
| D
| Описание
| Ссылка
| А
| В
| С
| D
|
| Тестовые процедуры корректны
| 8.3.6 б),
8.5.4
| *
|
|
|
| Процедуры верификации ПО
| 12.21
|
|
|
|
|
|
|
|
|
| Описание квалификационного тестирования ПО
| 12.22
|
|
|
|
|
| Результаты тестов корректны и все расхождения объяснены
| 8.3.6 в),
| *
|
|
|
| Результаты верификации ПО
| 12.23
|
|
|
|
|
| 8.5.4
|
|
|
|
| Отчет о квалификационном тестировании ПО
| 12.24
|
|
|
|
|
| Тестовое покрытие требований верхнего уровня достигнуто
| 8.4.4.1, 8.5.4
| *
|
|
|
| Результаты верификации ПО
| 12.23
|
|
|
|
|
|
|
|
|
| Отчет о квалификационном тестировании ПО
| 12.24
|
|
|
|
|
| Тестовое покрытие требований нижнего уровня достигнуто
| 8.4.4.1
| *
|
|
|
| Результаты верификации ПО
| 12.23
|
|
|
|
|
| Тестовое покрытие структуры ПО (модифицированное покрытие условий/решений) достигнуто
| 8.4.4.2
| *
|
|
|
| Результаты верификации ПО
| 12.23
|
|
|
|
|
| Тестовое покрытие структуры ПО (покрытие решений) достигнуто
| 8.4.4.2 а), 8.4.4.2б)
| *
| *
|
|
| Результаты верификации ПО
| 12.23
|
|
|
|
|
| Тестовое покрытие структуры ПО (покрытие операторов) достигнуто
| 8.4.4.2 а), 8.4.4.2б)
| *
| *
|
|
| Результаты верификации ПО
| 12.23
|
|
|
|
|
| Тестовое покрытие структуры ПО (связи по управлению и связи по данным) достигнуто
| 8.4.4.2 в)
| *
| *
|
|
| Результаты верификации ПО
| 12.23
|
|
|
|
|
| Обозначения:
* - цель должна быть удовлетворена с обеспечением независимости;
0 - цель должна быть удовлетворена; пробел - удовлетворение цели на усмотрение заказчика;
2 - документ должен удовлетворять целям категории контроля 2 (КК2).
|
Таблица А.8 - Процесс управления конфигурацией ПО
| Цель
| Применимость к уровням ПО
| Результат
| Категория контроля по уровням ПО
|
| Описание
| Ссылка
| А
| В
| С
| D
| Описание
| Ссылка
| А
| В
| С
| D
|
| Элементы конфигурации идентифицированы
| 9.2.1
|
|
|
|
| Протоколы управления конфигурацией ПО
| 12.29
|
|
|
|
|
| Установлены базовая линия и трассируемость
| 9.2.3
|
|
|
|
| Указатель конфигурации ПО
| 12.26 12.29
|
|
|
|
|
| Протоколы управления конфигурацией ПО
|
|
|
|
|
| Установлены отчетность о дефектах, просмотры изменений, регистрация состояния конфигурацией
| 9.2.4, 9.2.5 9.2.6, 9.2.7
|
|
|
|
| Сообщения о дефектах
| 12.28
|
|
|
|
|
|
|
|
|
|
| Протоколы управления конфигурацией ПО
| 12.29
|
|
|
|
|
| Установлены архивирование, получение из архива и выпуск версии
| 9.2.8
|
|
|
|
| Протоколы управления конфигурацией ПО
| 12.29
|
|
|
|
|
| Установлено управление загрузкой ПО
| 9.2.9
|
|
|
|
| Протоколы управления конфигурацией ПО
| 12.29
|
|
|
|
|
| Установлен контроль среды жизненного цикла ПО
| 9.2.10
|
|
|
|
| Указатель конфигурации среды жизненного цикла ПО
| 12.25 12.29
|
|
|
|
|
| Протоколы управления конфигурацией ПО
|
|
|
|
|
| Обозначения:
0 - цель должна быть удовлетворена;
1 - документ должен удовлетворять целям категории контроля 1 (КК1);
2 - документ должен удовлетворять целям категории контроля 2 (КК2).
|
Таблица А.9 - Процесс обеспечения качества ПО
| Цель
| Применимость к уровням ПО
| Результат
| Категория контроля по уровням ПО
|
| Описание
| Ссылка
| А
| В
| С
| D
| Описание
| Ссылка
| А
| В
| С
| D
|
| Обеспечена уверенность в том, что процессы разработки ПО и интегральные процессы соответствуют утвержденным планам и стандартам ПО
| 10.1 а)
| *
| *
| *
| *
| Протоколы обеспечения качества ПО
| 12.30
|
|
|
|
|
| Обеспечена уверенность, что удовлетворены критерии переходов между процессами жизненного цикла ПО
| 10.1 б)
| *
| *
|
|
| Протоколы обеспечения качества ПО
| 12.30
|
|
|
|
|
| Выполнен просмотр соответствия ПО
| 10.1 в), 10.3
| *
| *
| *
| *
| Протоколы обеспечения качества ПО
| 12.30
|
|
|
|
|
| Обозначения:
* - цель должна быть удовлетворена с обеспечением независимости; пробел - удовлетворение цели на усмотрение заказчика;
2 - документ должен удовлетворять целям категории контроля 2 (КК2).
|
Таблица А.10 - Процесс сертификационного сопровождения ПО
| Цель
| Применимость к уровням ПО
| Результат
| Категория контроля по уровням ПО
|
| Описание
| Ссылка
| А
| В
| С
| D
| Описание
| Ссылка
| А
| В
| С
| D
|
| Установлено взаимодействие и взаимопонимание между соискателем и сертифицирующей организацией
|
|
|
|
|
| План сертификации в части ПО
| 12.1
|
|
|
|
|
| Предложены средства достижения согласия и достигнута согласованность с Планом сертификации в части ПО
| 11.1
|
|
|
|
| План сертификации в части ПО
| 12.1
|
|
|
|
|
| Представлены доказательства согласованности
| 11.2
|
|
|
|
| Итоговый документ разработки ПО
| 12.31 12.26
|
|
|
|
|
| Указатель конфигурации ПО
|
|
|
|
|
| Обозначения:
0 - цель должна быть удовлетворена;
1 - документ должен удовлетворять целям категории контроля 1 (КК1).
|
Ключевые слова: встроенные системы, программное обеспечение, жизненный цикл, разработка, документирование
