Читать «ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ВСТРОЕННЫХ СИСТЕМ. Общие требования к разработке и документированию» онлайн - страница 78

Автор неизвестен

Обозначения:

* — цель должна быть удовлетворена с обеспечением независимости;

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