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

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