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

Цели и результаты процессов в зависимости от уровня ПО

В настоящем приложении приведено описание требований сертификации для целей и результатов процессов жизненного цикла ПО в зависимости от уровня ПО. В таблицах А.1 — А.10 даны ссылки на ранее описанные в настоящем стандарте цели и результаты.

Таблица А.1 - Процесс планирования ПО

ЦельПрименимость к уровням ПОРезультат Категория контроля по уровням ПО
Описание Ссылка А В С D Описание Ссылка А В С D
Определить виды работ процессов разработки ПО и интегральных процессов 6.1а), 6.3 0 0 00 План сертификации в части ПО 12.11 1 11
План разработки ПО12.21122
План верификации ПО12.31122
Определить критерии перехода, взаимосвязи и последовательность выполнения процессов 6.16), 6.3 0 0 0 План квалификационного тестирования ПО 12.41 1 2 2
План управления конфигурацией ПО 12.5 1 1 2 2
Определить среду жизненного цикла ПО 6.1 в) 0 0 0 План обеспечения качества ПО 12.61 1 2 2
План установки ПО 12.7 1 1 2 2
Рассмотреть дополнительные вопросы 6.1 г) 0 0 0 0 План передачи ПО 12.8 1 1 2 2
Определить стандарты на разработку ПО 6.1д) 0 0Cтандарты на разработку требований к ПО 12.9 1 1 2
Стандарты на процесс проектирования ПО 12.10 1 1 2
Стандарты кодирования ПО 12.11 1 2
Согласование планов ПО с настоящим стандартом 6.1 е), 6.7 0 0 0 Протоколы обеспечения качества ПО 12.302
Результаты верификации ПО 12.23 2
Координация планов создания ПО 6.1 ж), 6.7 0 0 0 Протоколы обеспечения качества ПО 12.302
Результаты верификации ПО 12.23 2

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

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

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

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

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


Таблица А.2 — Процессы разработки ПО

ЦельПрименимость к уровням ПОРезультат Категория контроля по уровням ПО
Описание Ссылка А В С D Описание Ссылка А В С D
Разработать требования верхнего уровня 7.1.1 а) 0 0 00 Cпецификация системы/подсистемы 12.12 1 1 11
Спецификация требований к ПО 12.131111
Спецификация требований к интерфейсу12.14 1111
Определить производные требования верхнего уровня7.1.1 б) 0 0 0 0Cпецификация требований к ПО 12.13 1 1 1 1
Спецификация требований к интерфейсу 12.14  1 1 11
ПО Разработать архитектуру ПО7.2.1 а) 0 0 0 0Описание проекта системы/подсистемы 12.15 1 1 2 2
Описание проекта ПО 12.161 1 2 2
Описание проекта интерфейса 12.171 1 2 2
Описание проекта базы данных12.181 1 2 2
Разработать требования нижнего уровня7.2.1 а)0 0 0 0 Описание проекта ПО 12.16 1 1 2 2
Определить производные требования нижнего уровня7.2.1 б) 0 0 0 0 Описание проекта ПО 12.16 1 1 2 2
Разработать исходный код7.3.1 0 0 0 0 Исходный код ПО 12.19 1 1 11
Получить исполняемый объектный код и выполнить интеграцию ПО/аппаратуры7.4.1 0 0 0 0 Исполняемый объектный код ПО 12.20 1 1 11
Подготовить руководства пользователя и руководства поддержки  5.9.3, 5.10.6Спецификация программного средства 12.272
Описание эксплуатационной концепции 12.3222
Руководство по эксплуатации компьютера 12.3322
Руководство по программированию для компьютера 12.342 2
Руководство поддержки программно-аппаратных средств12.352
Руководство оператора ПО 12.362 2
Руководство по входной/выходной информации ПО 12.372
Руководство пользователя ПО 12.38 2
Описание версии ПО 12.392

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

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

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

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

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


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

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

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

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

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

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

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


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

ЦельПрименимость к уровням ПОРезультат Категория контроля по уровням ПО
Описание Ссылка А В С D Описание Ссылка А В С D
Требования нижнего уровня к ПО согласуются с требованиями верхнего уровня8.3.3 а)*0 Результаты верификации ПО12.23 2
Требования нижнего уровня точны и непротиворечивы