12.3 План верификации ПО
12.3 План верификации ПО
План верификации ПО включает в себя описание процедур верификации, удовлетворяющих целям процесса верификации. Эти процедуры могут варьироваться в зависимости от уровня ПО, как определено в таблицах приложения А. Данный план должен включать в себя следующие разделы:
а) Организация: организационная ответственность внутри процесса верификации ПО и интерфейсы с другими процессами жизненного цикла ПО.
б) Независимость: описание методов для обеспечения независимости верификации, когда это требуется.
в) Методы верификации: описание методов верификации, которые будут использованы на каждом этапе процесса верификации ПО:
1) методы просмотра, включающие в себя контрольные листы и другие средства поддержки;
2) методы анализа, включающие в себя методы анализа трассируемости и оценки полноты покрытия;
3) методы тестирования, включающие в себя рекомендации для выбора тестовых вариантов, используемых тестовых процедур, генерации тестовых данных.
г) Среда верификации: описание оборудования для тестирования, инструментальных средств тестирования и анализа, а также руководств по применению этих средств и аппаратного тестового оборудования.
д) Критерии перехода: критерии перехода к процессу верификации ПО, определяемому в этом плане.
е) Проверка разбиения: если используют разбиение на части, то описывают метод верификации целостности.
ж) Допустимость использования компилятора: описание соглашений относительно корректности применения компилятора, редактора связей или загрузчика (6.4.2).
з) Руководство по повторной верификации: описание методов идентификации модифицируемых областей ПО и измененных частей исполняемого объектного кода. Повторная верификация должна гарантировать, что ранее зарегистрированные ошибки или классы ошибок были устранены.
и) Ранее разработанное ПО: если для базовой линии ранее разработанного ПО требования к процессу верификации не согласуются с требованиями данного документа, приводят описание методов верификации, удовлетворяющих этим требованиям.
к) Многоверсионное ПО: при использовании многоверсионного ПО необходимо описание работ процесса верификации для него.