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

Таблица А.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 — Тестирование результатов процесса интеграции ПО