ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ВСТРОЕННЫХ СИСТЕМ. Общие требования к разработке и документированию - читать бесплатно онлайн полную версию книги автора (ПРИЛОЖЕНИЕ А (рекомендуемое) Цели и результаты процессов в зависимости от уровня ПО) #14

ПРИЛОЖЕНИЕ А (рекомендуемое) Цели и результаты процессов в зависимости от уровня ПО

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