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

8.3.3 б)** 0 Результаты верификации ПО 12.232 2 2 Требования нижнего уровня совместимы с объектным компьютером8.3.3 в)0 0 Результаты верификации ПО12.232 2 Требования нижнего уровня верифицируемы8.3.3 г) 0 0 Результаты верификации ПО12.2322Требования нижнего уровня соответствуют стандартам8.3.3 д)0 0 0 Результаты верификации ПО12.23 2 2 2Требования нижнего уровня трассируемы к требованиям верхнего уровня8.3.3 е)0 0 0 Результаты верификации ПО12.232 2 2Алгоритмы точны и корректны8.3.3 ж)** 0 Результаты верификации ПО12.232 2 2Архитектура ПО согласуется с требованиями верхнего уровня8.3.2 а)*0 0 Результаты верификации ПО12.232 2 2Архитектура ПО непротиворечива8.3.2 б) *0 0 Результаты верификации ПО12.232 2 2Архитектура ПО совместима с объектным компьютером8.3.2 в) 00 Результаты верификации ПО12.232 2 Архитектура ПО верифицируема8.3.2 г)0 0 Результаты верификации ПО12.232 2 Архитектура ПО соответствует стандартам на процесс проектирования ПО8.3.2 д)00 0 Результаты верификации ПО12.232 2 2Подтверждается целостность разбиения ПО8.3.2 е)*0 0 0 Результаты верификации ПО12.232 2 22

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

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

0 — цель должна быть удовлетворена;

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

2 — документ должен удовлетворять целям категории контроля 2 (КК2).


Таблица А.5 — Верификация результатов процесса кодирования и интеграции ПО

ЦельПрименимость к уровням ПОРезультат Категория контроля по уровням ПО
Описание Ссылка А В С D Описание Ссылка А В С D
Исходный код согласуется с требованиями нижнего уровня8.3.4 а)*0 Результаты верификации ПО12.23 2
Исходный код согласуется с архитектурой ПО8.3.4 б)*0 Результаты верификации ПО 12.232
Исходный код верифицируем8.3.4 в)0 0 Результаты верификации ПО12.232
Исходный код соответствует стандартам 8.3.4 г)8.3.4 г) 0 0 0Результаты верификации ПО12.23222
Исходный код трассируем к требованиям нижнего уровня8.3.4 д)0 0 0 Результаты верификации ПО12.23 2
Исходный код точен и непротиворечив8.3.4 е)0 0 Результаты верификации ПО12.232
Результаты процесса интеграции ПО полны и корректны8.3.500 Результаты верификации ПО12.232

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

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

0 — цель должна быть удовлетворена;

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

2 — документ должен удовлетворять целям категории контроля 2 (КК2).


Таблица А.6 — Тестирование результатов процесса интеграции ПО

ЦельПрименимость к уровням ПОРезультат Категория контроля по уровням ПО
Описание Ссылка А В С D Описание Ссылка А В С D
Исполняемый объектный код согласуется с требованиями верхнего уровня8.4.2, 8.4.3 а), б), 8.5.40 0 00 ПО Процедуры верификации ПО12.211 1 22
Описание квалификационного тестирования ПО12.221122
Результаты верификации ПО12.232222
Отчет о квалификационном тестировании ПО12.242222
Исполняемый объектный код устойчив относительно входов, определенных требованиями верхнего уровня8.4.2, 8.4.3 а), б), 8.5.4 0 0 0 0Процедуры верификации ПО 12.211 1 2 2
Описание квалификационного тестирования ПО12.221 1 2 2
Результаты верификации ПО 12.232 2
Отчет о квалификационном тестировании ПО12.242 2
Исполняемый объектный код согласуется с требованиями нижнего уровня8.4.2, 8.4.3 в)0 Процедуры верификации ПО12.211 1 2
Результаты верификации ПО12.23 2
Исполняемый объектный код устойчив относительно входов, определенных требованиями нижнего уровня8.4.2, 8.4.3 в)0 0Процедуры верификации ПО12.211 1 2 2
Результаты верификации ПО12.23 2
Исполняемый код совместим с объектным компьютером  12.24 8.4.3 а)0 00Процедуры верификации ПО 12.211 1 22
Описание квалификационного тестирования ПО12.221 1 22
Результаты верификации ПО 12.23 22
Отчет о квалификационном тестировании ПО  12.242 2   

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

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

0 — цель должна быть удовлетворена;

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

1 — документ должен удовлетворять целям категории контроля 1 (КК1);

2 — документ должен удовлетворять целям категории контроля 2 (КК2).


Таблица А.7 — Верификация результатов процесса верификации ПО

ЦельПрименимость к уровням ПОРезультат Категория контроля по уровням ПО
Описание Ссылка А В С D Описание Ссылка А В С D
Тестовые процедуры корректны8.3.6 б), 8.5.40 0ПО Процедуры верификации ПО12.2122
Описание квалификационного тестирования ПО12.22222
Результаты тестов корректны и все расхождения объяснены8.3.6 б), 8.5.40 0Результаты верификации ПО12.23222
Отчет о квалификационном тестировании ПО12.24222
Тестовое покрытие требований верхнего уровня достигнуто8.4.4.1, 8.5.40 0Результаты верификации ПО12.232222
Отчет о квалификационном тестировании ПО12.242222
Тестовое покрытие требований нижнего уровня достигнуто8.4.4.10 0Результаты верификации ПО12.23222
Тестовое покрытие структуры ПО (модифицированное покрытие условий/решений) достигнуто 8.4.4.2Результаты верификации ПО12.232
Тестовое покрытие структуры ПО (покрытие решений) достигнуто8.4.4.2 а), 8.4.4.2 б)*Результаты верификации ПО12.2322
Тестовое покрытие структуры ПО (покрытие операторов) достигнуто8.4.4.2 а), 8.4.4.2 б)*0Результаты верификации ПО12.23222
Тестовое покрытие структуры ПО (связи по управлению и связи по данным) достигнуто