ГОСТ Р 51904-2002

5)    использование модифицируемого пользователем ПО;

6)    использование коммерчески доступного ПО;

7)    использование ПО, загружаемого в полевых условиях;

8)    использование многоверсионного неидентичного ПО.

12.2    План разработки ПО

План разработки ПО содержит описание целей, стандартов и модели жизненного цикла ПО, которые должны быть использованы в процессах разработки ПО. Этот план может быть включен в План сертификации в части ПО. План разработки ПО должен включать в себя следующие разделы:

а)    Стандарты: идентификация стандартов на разработку требований к ПО, стандартов на процесс проектирования ПО, стандартов кодирования ПО для данного проекта, а также ссылки на стандарты для ранее разработанного ПО, включая коммерчески доступное ПО, если эти стандарты различаются.

б)    Жизненный цикл ПО: описание процессов жизненного цикла ПО, которые должны быть использованы для формирования конкретного жизненного цикла данного проекта, включая критерии перехода между процессами ПО. Это описание отличается от резюме в Плане сертификации в части ПО тем, что оно содержит подробности, необходимые для гарантии соответствующей реализации процессов жизненного цикла ПО.

в)    Среда разработки ПО: обоснование выбора используемой среды разработки ПО в аппаратной и программной частях, включая:

1)    выбор методов и средств разработки требований;

2)    выбор методов и средств проектирования ПО;

3)    выбор языков программирования, средств кодирования, компиляторов, редакторов связей и загрузчиков;

4)    аппаратную поддержку для инструментальных средств.

12.3    План верификации ПО

План верификации ПО включает в себя описание процедур верификации, удовлетворяющих целям процесса верификации. Эти процедуры могут варьироваться в зависимости от уровня ПО, как определено в таблицах приложения А. Данный план должен включать в себя следующие разделы:

а)    Организация: организационная ответственность внутри процесса верификации ПО и интерфейсы с другими процессами жизненного цикла ПО.

б)    Независимость: описание методов для обеспечения независимости верификации, когда это требуется.

в)    Методы верификации: описание методов верификации, которые будут использованы на каждом этапе процесса верификации ПО:

1)    методы просмотра, включающие в себя контрольные листы и другие средства поддержки;

2)    методы анализа, включающие в себя методы анализа трассируемости и оценки полноты покрытия;

3)    методы тестирования, включающие в себя рекомендации для выбора тестовых вариантов, используемых тестовых процедур, генерации тестовых данных.

г)    Среда верификации: описание оборудования для тестирования, инструментальных средств тестирования и анализа, а также руководств по применению этих средств и аппаратного тестового оборудования.

д)    Критерии перехода: критерии перехода к процессу верификации ПО, определяемому в этом плане.

е)    Проверка разбиения: если используют разбиение на части, то описывают метод верификации целостности.

ж)    Допустимость использования компилятора: описание соглашений относительно корректности применения компилятора, редактора связей или загрузчика (6.4.2).

з)    Руководство по повторной верификации: описание методов идентификации модифицируемых областей ПО и измененных частей исполняемого объектного кода. Повторная верификация должна гарантировать, что ранее зарегистрированные ошибки или классы ошибок были устранены.

и)    Ранее разработанное ПО: если для базовой линии ранее разработанного ПО требования к процессу верификации не согласуются с требованиями данного документа, приводят описание методов верификации, удовлетворяющих этим требованиям.

к)    Многоверсионное ПО: при использовании многоверсионного ПО необходимо описание работ процесса верификации для него.

40