В настоящем приложении приведено описание требований сертификации для целей и результатов процессов жизненного цикла ПО в зависимости от уровня ПО. В таблицах А.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). |
Ключевые слова: встроенные системы, программное обеспечение, жизненный цикл, разработка, документирование