ГОСТ Р МЭК 60880—2010
8Верификация программного обеспечения
8.1 Процедура верификации программного обеспечения
Деятельность по верификации, предпринимаемая как часть разработки программного обеспечения,
обычно лежит на ответственности поставщика и осуществляется персоналом, не зависимым отлиц. созда
ющих программное обеспечение: лучший путь — это привлечение верификационной группы.
Допускается проведение третьей стороной дополнительной верификации как части оценки третьей
стороной программного обеспечения и процесса его разработки с тем. чтобы обеспечить уверенность в
соответствии программногообеспечения намеченным показателям качества. Существует много путей обес
печения независимой верификации ресурсами и ее реализации: выбор пути зависит от предпочтений наци
ональных регулирующих органов.
8.1.1 Верификационная группа должна состоять из лиц. не принимавших участия в создании про
граммы и обладающих необходимыми компетенцией и знаниями.
Четко определяют требуемый уровень независимости:
8.1.2 Руководство верификационной группы должно бытьотдельным и не зависимым от руководства
разрабатывающей группы.
8.1.3 Общение между верификационной группой и разрабатывающей группой — будь то уточнения
или отчет о дефектах— должно осуществляться формализованным образом в письменном виде с уров
нем детализации, допускающим проверку.
8.1.4 При взаимодействии между двумя сторонами следует стремиться к сохранению независимости
суждений верификационной группы.
8.1.5 Верификационная группа должна быть обеспечена соответствующими ресурсами и средства
ми. Ей должно быть предоставлено время, необходимое для осуществления деятельности по верифи
кации.
8.1.6 Верификационная группадолжна иметь четко определенные ответственность и обязательства.
8.1.7 Верификационная группа должна иметь необходимые основания для формулирования своих
выводов.
8.1.8 Выходные данные каждого этапа разработки программного обеспечения (см. рисунок 3) долж
ны быть верифицированы.
8.1.9 Деятельность по верификации программного обеспечения должна подтверждать соответствие
спецификации требований к программному обеспечению требованиям, предъявляемым к программному
обеспечению в спецификации требований к системе.
8.1.10Деятельность по верификации программного обеспечениядолжна подтверждать соответствие
спецификации проекта программного обеспечения требованиям кпрограммному обеспечению.
8.1.11 Деятельность по верификации программного обеспечения должна подтверждать соответствие
кода и спецификации проекта программного обеспечения, полученной на этапе проектирования. Специаль
ные требования приведены в 8.2.3.2 для случая использования инструментальной программы АПСП
с такими элементами, какавтоматизированная генерация кода.
8.1.12
Л
юбую производственнуюдеятельность следует начинать наоснове верифицированных вход
ных данных или документов.
8.1.13 Верификацию результатов этапа как части разработки программногообеспечения рекоменду
ется проводить до начала следующего этапа, и она должна быть завершена до завершения (т.е. до вери
фикации) следующего этапа.
Возможные подготовительные работы для последующегоэтапа могут быть выполнены до верифика
ции и утверждения предыдущего этапа.
8.1.14 Если исходная информация или документы, необходимые для выполнения определенных
действий, были изменены, то эти действия, а также последующие действия должны быть проведены по
вторно в необходимом объеме, учитывая потенциальное влияние произведенных изменений.
8.1.15 Верификация всего программного обеспечения должна быть завершена до введения системы
в эксплуатацию.
8.2 Действия по верификации программного обеспечения
При верификации необходимо выполнить следующиедействия.
8.2.1 План верификации
8.2.1.1 До начала выполнения действий по верификации должен быть составлен план верификации
программного обеспечения.
19