Методы верификации программного обеспечения


  Место верификации в жизненном цикле ПО


Download 1.06 Mb.
Pdf ko'rish
bet8/55
Sana19.04.2023
Hajmi1.06 Mb.
#1367097
1   ...   4   5   6   7   8   9   10   11   ...   55
Bog'liq
КНИГА

2. 
Место верификации в жизненном цикле ПО 
Хотя общую структуру жизненного цикла произвольной программной системы 
определить невозможно, существует несколько наиболее часто используемых способов 
организации различных видов деятельности в рамках жизненного цикла. Их называют 
моделями жизненного цикла ПО. Чаще всего работы организуются либо в соответствии 
с каскадной (или водопадной) моделью [26,27] (см. Рис. 3, слева), либо в рамках одной 
из многочисленных разновидностей итеративной модель жизненного цикла, впервые 
описанной в 1970 году [27] (Рис. 3, справа). 
Рисунок 3. Схема каскадной и итеративной моделей жизненного цикла ПО. 
Каскадная модель хорошо работает в тех случаях, когда требования к 
создаваемой системе удается полностью выявить и зафиксировать в начале проекта 
(что на практике случается не часто), и результаты всех выполняемых действий 
проходят тщательный анализ на внутреннюю корректность и соответствие исходным 
данным. В противном случае обнаруживаемые впоследствии ошибки и недоработки в 
результатах предыдущих шагов существенно затрудняют продвижение проекта и 
снижают его управляемость. Таким образом, в рамках каскадной модели верификация 
имеет должна выполняться в рамках всех видов деятельности для проверки 
Определение 
концепции системы 
Определение и 
анализ требований 
Тестирование 
Кодирование 
Проектирование 
Эксплуатация 
Определение 
концепции системы 
Определение и 
анализ требований 
Эксплуатация 
Тестирование 
Кодирование 
Проектирование 


16 
корректности их результатов, и именно она в первую очередь обеспечивает успешное 
движение к конечной цели. Один из видов верификации — тестирование — даже 
выделяется в отдельный этап проекта. 
В рамках итеративной модели отдельные виды деятельности уже не привязаны к 
этапам проекта и могут выполняться в разнообразных комбинациях. Итеративная 
модель позволяет быстро реагировать на изменения требований, но требует большего 
умения от руководителя проекта. В ее рамках различные методы верификации также 
имеют важнейшее значение, поскольку только с их помощью можно получить оценку 
качества результатов проекта, как конечных, так и промежуточных. Именно оценка 
качества служит основной информацией для оценки продвижения к целям проекта
планирования следующих итераций, принятия решений о прекращении проекта или 
передаче его результатов заказчику. 

Download 1.06 Mb.

Do'stlaringiz bilan baham:
1   ...   4   5   6   7   8   9   10   11   ...   55




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2024
ma'muriyatiga murojaat qiling