8. Жизненный цикл по и процессы верификации.
Верификация – это оценка соответствия ПО и предъявляемых к нему требований. Это неотъемлемая часть разработки ПО, которая позволяет вовремя выявить отсутствие в ПО заданных техническими документами функций.
Верификация не является разовой операцией и должна проходить последовательно через все этапы разработки. Однократный контроль качества уже конечного продукта является неправильной практикой, которая приводит к большому объёму доработок в конце разработки, когда они стоят дорого. Ещё одна причина последовательной верификации – это случаи, когда программа внешне сделана правильно и работает без ошибок, но внутренне выполняет совсем не то, что требовалось.
Часто ошибки ПО возникают именно при передаче требований, артефактов предыдущего этапа от одного разработчика к другому. Верификация нужна как процесс контроля однозначности интерпретации артефактов, находящихся на стыке этапов ЖЦ.
Верификация также определяет соответствие процессов разработки, документов и ПО стандартам. Тестирование ПО как этап ЖЦ также является методом верификации, хотя им одним не исчерпывается и проводится для всех артефактов, создаваемых при разработке.
9. Тестирование, верификация, валидация и V-образная модель жизненного цикла по.
Тестирование – это процесс отлова ошибок в ходе разработки, либо в конечном программном продукте. Может вестись тестирование только программной реализации алгоритма, а может вестись тестирование самого алгоритма функционирования с точки зрения правильного выполнения задач системы.
Вообще, тестирование само по себе является одним из методов верификации, но в некоторых случаях, как в случае тестирования лишь программной реализации, требуется дополнительная верификация, которая оценит правильность работы алгоритма в целом.
В вопросе выше подробно описывалось предназначение верификации. Вкратце, она выполняется последовательно на протяжении всего ЖЦ и нужна для проверки всех отдельных артефактов разработки, их соответствие проектным спецификациям. Тестирование выступает лишь частью процесса верификации.
V-Образная модель, описанная по ссылке в другом вопросе. Содержит в себе основные этапы ЖЦ, а также связанные с ними процессы верификации. Верификация лежит в основе такой модели разработки ПО.
Основные методы верификации, помимо динамического тестирования ПО:
Экспертиза двумя разработчиками двух документов (артефактов) разработки – с исходными данными и требуемыми результатами. Верификация пройдена, если оба разраба согласовали оба дока.
Статический анализ кода на предмет его корректного написания.
Формальные методы анализа корректности моделей программ, которые написаны на специальных языках моделирования, обеспечивающих этот процесс.
Последний описанный метод не получил распространения, так как доказанная правильная модель программы не говорит о правильности самой программы.
Валидация – процесс утверждения требований перед началом производства проектной документации (проверка возможности реализации, исправление ошибок в требованиях).