ГОСТ IEC 62304—2022
5.4* Разработка детального дизайна программного обеспечения
5.4.1 Дробление программного обеспечения на ПРОГРАММНЫЕ БЛОКИ
ИЗГОТОВИТЕЛЬ должен дробить программное обеспечение, пока оно не будет представлено в
виде ПРОГРАММНЫХ БЛОКОВ. [Классы В, С]
Примечание — Некоторые ПРОГРАММНЫЕ СИСТЕМЫ далее не могут быть раздроблены.
5.4.2 Разработка детального дизайна для каждого ПРОГРАММНОГО БЛОКА
ИЗГОТОВИТЕЛЬ должен документировать дизайн с достаточной степенью детализации, с целью
обеспечения правильной реализации каждого ПРОГРАММНОГО БЛОКА. [Класс С]
5.4.3 Разработка детального дизайна для интерфейсов
ИЗГОТОВИТЕЛЬ должен документировать дизайн любых интерфейсов между ПРОГРАММНЫМ
БЛОКОМ и внешними компонентами (аппаратными или программными средствами), а также любых
интерфейсов между ПРОГРАММНЫМИ БЛОКАМИ, который должен быть достаточно подробным для
правильной реализации каждого ПРОГРАММНОГО БЛОКА и его интерфейсов. [Класс С]
5.4.4 ВЕРИФИКАЦИЯ детального дизайна
ИЗГОТОВИТЕЛЬ должен верифицировать и документировать, что детальный дизайн программ
ного обеспечения:
a) реализует АРХИТЕКТУРУ программного обеспечения:
b
) не вступает в противоречия с АРХИТЕКТУРОЙ программного обеспечения. [Класс С]
Примечание — Для выполнения требования а) может быть использован анализ ПРОСЛЕЖИВАЕМО
СТИ АРХИТЕКТУРЫ к детальному дизайну программного обеспечения.
5.5* Имплементация ПРОГРАММНЫХ БЛОКОВ
5.5.1 Имплементация каждого ПРОГРАММНОГО БЛОКА
ИЗГОТОВИТЕЛЬ должен имплементировать каждый ПРОГРАММНЫЙ БЛОК. [Классы А, В, С]
5.5.2 Установление ПРОЦЕССА ВЕРИФИКАЦИИ ПРОГРАММНОГО БЛОКА
ИЗГОТОВИТЕЛЬ должен установить стратегии, методы и процедуры для верификации ПРО
ГРАММНЫХ БЛОКОВ. Там, где ВЕРИФИКАЦИЯ осуществляется посредством тестирования, правиль
ность процедур проведения тестирования должна быть ОЦЕНЕНА на адекватность. [Классы В, С]
Примечание — Допускается объединение интеграционного тестирования и тестирование ПРОГРАММ
НОЙ СИСТЕМЫ в единый план и совокупность ДЕЯТЕЛЬНОСТИ.
5.5.3 Критерии приемки ПРОГРАММНЫХ БЛОКОВ
ИЗГОТОВИТЕЛЬ должен установить критерии приемки для ПРОГРАММНЫХ БЛОКОВ до их инте
грации в более крупные ПРОГРАММНЫЕ СОСТАВНЫЕ ЧАСТИ и удостовериться, что ПРОГРАММНЫЕ
БЛОКИ соответствуют критериям приемки. [Классы В, С]
Примечание — Примеры критериев приемки:
- Имплементированы ли требования в программном коде, включая меры по УПРАВЛЕНИЮ РИСКОМ?
- Нет ли в программном коде противоречий с проектом (дизайном) интерфейса ПРОГРАММНЫХ БЛОКОВ?
- Соответствует ли программный код процедурам программирования или стандартам кодирования?
5.5.4 Дополнительные критерии приемки ПРОГРАММНЫХ БЛОКОВ
Если детальный дизайн разработан, ИЗГОТОВИТЕЛЬ должен включить в дизайн дополнительные
критерии приемки, предназначенные:
- для правильной (соответствующей) последовательности событий;
- потока данных и управления;
- планируемого распределения ресурсов;
- работы с ошибками (определение ошибки, локализация и восстановление);
- инициализации переменных;
- самодиагностики;
- управления памятью и переполнений памяти;
- граничных условий.
[Класс С]
15