Верыфікацыя - гэта працэс праверкі праграмнага прадукту

Тэрміны «верыфікацыя» і «валідацыю» вельмі часта выкарыстоўваюцца ў тэхнічнай літаратуры і звязаныя з аналізам якасці любога праграмнага забеспячэння. У навуковай літаратуры можна сустрэць розныя трактоўкі дадзеных паняццяў. Такім чынам, паспрабуем разабрацца ў гэтым пытанні.

Найбольш правільным, з нашага пункту гледжання, з'яўляецца наступнае вызначэнне. Валідацыю і верыфікацыя - гэта віды дзейнасці, якія накіраваны на правядзенне кантролю якасці праграмнага прадукту з мэтай выяўлення на ранніх стадыях памылак у ім. Здавалася б, яны маюць агульную мэту. Але ўсё-ткі гэтыя віды валодаюць адрозненнямі ў крыніцах правяраемых уласцівасцяў, абмежаванняў і правілаў, невыкананне якіх можа лічыцца памылкай.

Верыфікацыя - гэта праверка адпаведнасці праграмнага забеспячэння тэхнічнай дакументацыі, прадстаўленай техзаданием, архітэктурай або мадэлі прадметнай вобласці. У "абавязкі" дадзенага тэрміна ўключаецца і супастаўленне працэдуры разлікаў з працэсам іх распрацоўкі, правіламі і стандартамі.

Верыфікацыя дадзеных можа выконвацца для ўстаноўкі адпаведнасці функцыянавання праграмы усталяваным нормам, патрабаванням, праектных рашэннях і карыстацкай дакументацыі. Пры гэтым абавязковай папярэдняй праверцы падлягаюць тыя дакументы, з якімі праводзіцца параўнанне на адпаведнасць іх стандартам і нарматывам, устаноўленым у той краіне, дзе эксплуатуецца праграмнае забеспячэнне. Неабходна браць пад увагу і захаванне ўсіх паслядоўнасцяў выконваемых аперацый.

У выпадку выяўлення памылкі або дэфекту ў працы праграмы альбо ж выяўлення супярэчнасці паміж названымі вышэй дакументамі і дзеючым функцыянаваннем праграмы прыняцце рашэння аб выбары дакумента для выпраўлення павінна быць рашэннем асобнай задачы.

У адрозненне ад верыфікацыі валідацыю адказвае за праверку адпаведнасці распрацоўваных або суправаджаных праграмных прадуктаў патрэбам альбо патрэбам заказчыкаў або карыстальнікаў. Названыя патрэбы часцяком не фіксуюцца ні ў якой дакументацыі. Менавіта таму валідацыю менш фармалізаваная, чым верыфікацыя. Гэта працэс, у якім удзельнічае прадстаўнік заказчыка, карыстальніка, а таксама можа прысутнічаць аналітык або эксперт у прадметнай вобласці. Іншымі словамі, тыя, якія могуць выказаць канкрэтныя патрэбы і рэальныя патрэбы зацікаўленых асоб.

Верыфікацыя - гэта адказ на пытанне «Выканана Ці праграмнае забеспячэнне правільна?», А валідацыю - «Зроблена Ці правільнае праграмнае забеспячэнне?».

Пры пошуку адказу на пастаўленыя пытанні можна выявіць, што валідацыю (або атэстацыя) па змесце мае значэнне некалькі шырэй, чым праверка (верыфікацыя). Аднак верыфікацыя досыць цесна звязаная з забеспячэннем кантролю за якасцю праграмнага прадукту.

Напрыклад, верыфікацыя кампутарнай праграмы прадугледжвае працэс, у якім за аснову ставіцца мэта па забеспячэнні задавальнення патрабаванняў дадзеных, атрыманых у пэўным жыццёвым цыкле прадукту, тым, якія былі атрыманы на папярэдняй стадыі.

Калі ж весці гаворку аб верыфікацыі мадэлі, то тут гаворка пойдзе аб праверцы правільнасці адлюстравання гэтай вылічальнай мадэлі неабходнай канцэптуальнай альбо матэматычнай мадэлям.

Пры верыфікацыі сістэмнага кода праводзіцца аналіз кадоўкі крыніцы і праверка адпаведнасці яго дакументальнага апісання.

У працэсе верыфікацыі могуць ўключацца аперацыі, якія змяшчаюць альтэрнатыўныя разлікі. Праводзіцца параўнанне тэхнічнай і навуковай дакументацыяй новага праекта з адпаведнай дакументацыяй ўжо існуючага праекта, абавязковае тэставанне, апрабацыя новага праграмнага прадукту і дэманстрацыя вынікаў.