Верификација - процесу потврђивања софтвера

Изрази "верификација" и "валидације" се веома често користи у стручној литератури и односе се на квалитет анализе било ког софтвера. У научној литератури постоје различите интерпретације ових концепата. Дакле, покушајте да размотри ово питање.

Највише одговара, по нашем мишљењу, јесте следећа дефиниција. Валидација и верификација - су активности које су усмерене на вршење контроле квалитета софтвера да открије грешке у раним фазама њега. Чини се да имају заједнички циљ. Ипак, ове врсте имају разлике у изворима верификовати имовине, ограничења и прописа, од којих повреда може сматрати грешка.

Верификација - провера усклађености софтвера техничке документације коју пружа услове спецификације, архитектуре или домена модела. У "дужности" термина је укључено и поређења обрачуна процедурама процесу развоја, правила и стандарда.

провера података може се извршити да подесите функционисање програма усклађености утврђених стандарда, захтева, дизајн, и корисничку документацију. У том случају, обавезан пре инспекција ће бити предмет тих докумената, који су у односу на њихову складу са стандардима и прописима наведеним у земљи у којој се управља софтвер. Потребно је узети у обзир и поштовање за све секвенце операција обавља.

У случају грешке или недостатак у програму или пак постоји сукоб између горе наведених докумената и тренутном функционисању програма Одлуке о избору инструмент за корекцију треба да буде решење за одређени задатак.

За разлику од верификације валидације је одговорна за верификацију усаглашености са развијеним или у пратњи потребе софтвера или потребе купаца или корисника. Ове потребе се често не бележе ни у једном документима. Зато је потврда мање формализован од верификације. То је процес у којем представници купца, корисника, и могу присуствовати аналитичар или стручњака у предметној области. Другим речима, они који могу да изразе специфичне потребе и стварне потребе заинтересованих страна.

Верификација - је одговор на питање "Да ли је софтвер правилно направио?", И валидација - "? Да ли ће право софтвера".

Када сам трагала за одговор на ова питања, може се десити да се валидација (или сертификација) садржај сет нешто шири од провере (верификације). Међутим, верификација је тесно повезана са обезбеђивање контроле квалитета софтверског производа.

На пример, верификација компјутерског програма обезбеђује процес у коме је основа за циљ је да осигура да испуне ове захтеве, нарочито добијене животног циклуса производа, на оне добијене у претходном кораку.

Ако говоримо о верификацији модела, овде ћемо се фокусирати на верификацију исправног приказа компјутерских модела потребне концептуални или математичке моделе.

Када код за верификацију систем анализира извор за кодирање и провере свој опис одговарајући документарни.

Процес верификације може укључивати операције садрже алтернативних прорачуна. Поређење техничке и научне документације новог пројекта са одговарајућом документацијом постојећег пројекта, обавезно тестирање, тестирање новог софтверског производа и демонстрирали резултата.