ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ВСТРОЕННЫХ СИСТЕМ. Общие требования к разработке и документированию

Цель		Применимость к уровням ПО				Результат		Категория контроля по уровням ПО
Описание	Ссылка	А	В	С	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).