ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ВСТРОЕННЫХ СИСТЕМ. Общие требования к разработке и документированию
Шрифт:
— ожидаемую ответную реакцию средств разработки ПО в случаях внештатных условий работы.
13.2.4 Согласие сертифицирующей организации на использование инструментального средства
Выдача согласия сертифицирующей организации на использование инструментального средства включает в себя два этапа:
— для средств разработки ПО — согласие с Планом аттестации инструментального средства; для средств верификации ПО — согласие с Планом сертификации в части ПО для прикладного ПО;
— для средств разработки ПО — согласие с Итоговым документом разработки инструментального средства; для средств верификации ПО — согласие с Итоговым документом разработки ПО для прикладного ПО.
ПРИЛОЖЕНИЕ А (рекомендуемое)
Цели и результаты процессов в зависимости от уровня ПО
В настоящем приложении приведено описание требований сертификации для целей и результатов процессов жизненного цикла ПО в зависимости от уровня ПО. В таблицах А.1 — А.10 даны ссылки на ранее описанные в настоящем стандарте цели и результаты.
Таблица А.1 - Процесс планирования ПО
| Цель | Применимость к уровням ПО | Результат | Категория контроля по уровням ПО | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| Описание | Ссылка | А | В | С | D | Описание | Ссылка | А | В | С | D |
| Определить виды работ процессов разработки ПО и интегральных процессов | 6.1а), 6.3 | 0 | 0 | 0 | 0 | План сертификации в части ПО | 12.1 | 1 | 1 | 1 | 1 |
| План разработки ПО | 12.2 | 1 | 1 | 2 | 2 | ||||||
| План верификации ПО | 12.3 | 1 | 1 | 2 | 2 | ||||||
| Определить критерии перехода, взаимосвязи и последовательность выполнения процессов | 6.16), 6.3 | 0 | 0 | 0 | План квалификационного тестирования ПО | 12.4 | 1 | 1 | 2 | 2 | |
| План управления конфигурацией ПО | 12.5 | 1 | 1 | 2 | 2 | ||||||
| Определить среду жизненного цикла ПО | 6.1 в) | 0 | 0 | 0 | План обеспечения качества ПО | 12.6 | 1 | 1 | 2 | 2 | |
| План установки ПО | 12.7 | 1 | 1 | 2 | 2 | ||||||
| Рассмотреть дополнительные вопросы | 6.1 г) | 0 | 0 | 0 | 0 | План передачи ПО | 12.8 | 1 | 1 | 2 | 2 |
| Определить стандарты на разработку ПО | 6.1д) | 0 | 0 | 0 | Cтандарты на разработку требований к ПО | 12.9 | 1 | 1 | 2 | ||
| Стандарты на процесс проектирования ПО | 12.10 | 1 | 1 | 2 | |||||||
| Стандарты кодирования ПО | 12.11 | 1 | 1 | 2 | |||||||
| Согласование планов ПО с настоящим стандартом | 6.1 е), 6.7 | 0 | 0 | 0 | Протоколы обеспечения качества ПО | 12.30 | 2 | 2 | 2 | ||
| Результаты верификации ПО | 12.23 | 2 | 2 | 2 | |||||||
| Координация планов создания ПО | 6.1 ж), 6.7 | 0 | 0 | 0 | Протоколы обеспечения качества ПО | 12.30 | 2 | 2 | 2 | ||
| Результаты верификации ПО | 12.23 | 2 | 2 | 2 |
Обозначения:
0 — цель должна быть удовлетворена;
пробел — удовлетворение цели на усмотрение заказчика;
1 — документ должен удовлетворять целям категории контроля 1 (КК1);
2 — документ должен удовлетворять целям категории контроля 2 (КК2).
Таблица А.2 — Процессы разработки ПО
| Цель | Применимость к уровням ПО | Результат | Категория контроля по уровням ПО | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| Описание | Ссылка | А | В | С | D | Описание | Ссылка | А | В | С | D |
| Разработать требования верхнего уровня | 7.1.1 а) | 0 | 0 | 0 | 0 | Cпецификация системы/подсистемы | 12.12 | 1 | 1 | 1 | 1 |
| Спецификация требований к ПО | 12.13 | 1 | 1 | 1 | 1 | ||||||
| Спецификация требований к интерфейсу | 12.14 | 1 | 1 | 1 | 1 | ||||||
| Определить производные требования верхнего уровня | 7.1.1 б) | 0 | 0 | 0 | 0 | Cпецификация требований к ПО | 12.13 | 1 | 1 | 1 | 1 |
| Спецификация требований к интерфейсу | 12.14 | 1 | 1 | 1 | 1 | ||||||
| ПО Разработать архитектуру ПО | 7.2.1 а) | 0 | 0 | 0 | 0 | Описание проекта системы/подсистемы | 12.15 | 1 | 1 | 2 | 2 |
| Описание проекта ПО | 12.16 | 1 | 1 | 2 | 2 | ||||||
| Описание проекта интерфейса | 12.17 | 1 | 1 | 2 | 2 | ||||||
| Описание проекта базы данных | 12.18 | 1 | 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 | 1 | 1 |
| Получить исполняемый объектный код и выполнить интеграцию ПО/аппаратуры | 7.4.1 | 0 | 0 | 0 | 0 | Исполняемый объектный код ПО | 12.20 | 1 | 1 | 1 | 1 |
| Подготовить руководства пользователя и руководства поддержки | 5.9.3, 5.10.6 | Спецификация программного средства | 12.27 | 2 | 2 | 2 | 2 | ||||
| Описание эксплуатационной концепции | 12.32 | 2 | 2 | 2 | 2 | ||||||
| Руководство по эксплуатации компьютера | 12.33 | 2 | 2 | 2 | 2 | ||||||
| Руководство по программированию для компьютера | 12.34 | 2 | 2 | 2 | 2 | ||||||
| Руководство поддержки программно-аппаратных средств | 12.35 | 2 | 2 | 2 | 2 | ||||||
| Руководство оператора ПО | 12.36 | 2 | 2 | 2 | 2 | ||||||
| Руководство по входной/выходной информации ПО | 12.37 | 2 | 2 | 2 | 2 | ||||||
| Руководство пользователя ПО | 12.38 | 2 | 2 | 2 | 2 | ||||||
| Описание версии ПО | 12.39 | 2 | 2 | 2 | 2 |
Обозначения:
0 — цель должна быть удовлетворена;
пробел — удовлетворение цели на усмотрение заказчика;
1 — документ должен удовлетворять целям категории контроля 1 (КК1);
2 — документ должен удовлетворять целям категории контроля 2 (КК2).
Таблица А.3 — Верификация результатов процесса разработки требований к ПО
| Цель | Применимость к уровням ПО | Результат | Категория контроля по уровням ПО | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| Описание | Ссылка | А | В | С | D | Описание | Ссылка | А | В | С | D |
| Требования верхнего уровня к ПО согласуются с требованиями к системе | 8.3.1 а) | * | * | 0 | 0 | Результаты верификации ПО | 12.23 | 2 | 2 | 2 | 2 |
| Требования верхнего уровня точны и непротиворечивы | 8.3.1 б) | * | * | 0 | 0 | Результаты верификации ПО | 12.23 | 2 | 2 | 2 | 2 |
| Требования верхнего уровня совместимы с объектным компьютером | 8.3.1 в) | 0 | 0 | Результаты верификации ПО | 12.23 | 2 | 2 | ||||
| Требования верхнего уровня верифицируемы | 8.3.1 г) | 0 | 0 | 0 | Результаты верификации ПО | 12.23 | 2 | 2 | 2 | ||
| Требования верхнего уровня соответствуют стандартам на разработку требований к ПО | 8.3.1 д) | 0 | 0 | 0 | 0 | Результаты верификации ПО | 12.23 | 2 | 2 | 2 | 2 |
| Требования верхнего уровня трассируемы к системным требованиям | 8.3.1 е) | 0 | 0 | 0 | 0 | Результаты верификации ПО | 12.23 | 2 | 2 | 2 | 2 |
| Алгоритмы точны и корректны | 8.3.1 ж) | * | * | 0 | Результаты верификации ПО | 12.23 | 2 | 2 | 2 |
Обозначения:
* — цель должна быть удовлетворена с обеспечением независимости;
0 — цель должна быть удовлетворена;
пробел — удовлетворение цели на усмотрение заказчика;
2 — документ должен удовлетворять целям категории контроля 2 (КК2).
Таблица А.4 — Верификация результатов процесса проектирования ПО