Программное обеспечение встроенных систем. Общие требования к разработке и документированию (fb2) читать постранично, страница - 50

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

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

Цель Применимость к уровням ПО --">