Verification - pêvajoya software bêdudilî

Di warê "piştras kirin" û "erêkirina" gelek caran di wêjeya teknîkî tê bikaranîn û bi qalîteya analysis of tu software related. Di lîteratura zanistî û şîroveyên cuda yên van têgehan jî heye. Bi vî awayî, hewl didin bi nav mijarê binêrin.

The herî minasib de, di nêrîna me, di pênase e li jêr e. Validation û verification - çalakiyên bi yên ku li çalakiya kontrola kalîteyê de ji bo armanca in nivîsbariyê bo tesbîtkirina çewtî jî li qonaxên destpêkê yên it. Ev wisa diyar e ku ew bi armanceke hevbeş heye. Dîsa jî, ev cure hene cudahiyên di çavkaniyên milkên piştrastkirî, astengên û qanûnên, binpêkirina ku dikare bê nirxandin, xeletî.

Verification - kontrola gor yên nivîsbariyê yên belgekirinê teknîkî ku ji hêla daxwazên specification, mîmarî an domain model. Di "peywirê" ji peyvê di nav de û berhevdana prosedurên hesabekî ji bo pêvajoya pêşvebirina, qaîde û pîvanên.

piştras Data dikare bê lîstin ji bo danîna ku rêvebirina bernameya didina ava standardên, pêwîstiyên, design, û belgekirina user. Di vê rewşê de, a wêneke pre-Kontrola wê mijarê de ji bo wan belgeyên, ku ji bo pêkanîna wan bi standardên û qanûnên ku li welatekî ku software ve tê danîn rêje be. Ev ji bo çavan û rêzgirtina ji bo hemû Rêzkirinên li operasyonên pêk pêwîst e.

Di bûyerê de ji çewtî yan jî pirsgirêkek di bernameyê de an din e şerekî di navbera belgeyên ku li jor dîyarkirine û birêveçûna niha yên ku di bernameyê de biryar li ser hilbijartina instrument ji bo correction divê bibe çareseriya ji bo karekî taybetî heye.

Berevajî çiraxî rastandin, ji bo rastkirina daneyî, bi pêdiviyên software pêşketî yan jî kopyeka an pêdiviyên mişteriyên an bikarhêneran e. Ev pêwîstî bi gelek caran li ti belgeyên tomarkirin ne. Ji ber vê yekê çiraxî kêmtir ji rastandin, bi hevre ne. Ev pêvajoya ku di nav nûnerên mişterî, user, û dikare bi analîstê an şarezaye di beşdarî e qada mijarê de. Bi gotineke din, yên ku dikarin li ser pêwîstîyên taybetî û pêdiviyên rast ên aktorên îfade.

Verification - bersiva vê pirsê ye "Gelo software rêkûpêk kirin?", Û erêkirina - "? Ma ji software mafê".

Dema ku lêgerîna ji bo bersiva van pirsan, hûn dikarin bibînin ku mabesta (an certification) naveroka set te hinekî zêdetir check (piştras kirin). Lê belê, rastandin, ji nêzîk ve ji bo pêkanîna kontrola li ser kalîteya berhemên nivîsbariyê ve girêdayî ye.

Ji bo nimûne, rastandin, ji bernameyeke komputerê di pêvajoyekê de ku di bingeha ji bo armanc ew e da ku van şertan de, bi taybetî cycle jiyana berhemên bidestxistin, ji bo kesên dest di gava berê pêşkêş dike.

Heke em li ser rastandin, bi modela bipeyivim, li vê derê em dê li ser rastandin, ji display rast ji modelên komputerê ya pêwîst têgehî an hûr modêlên matematîkî.

Dema code sîstema piştras kirin, analîzên li çavkaniya binî û rastkirina description hevcotî belgefîlma xwe.

The pêvajoya verification dikarin operasyonan pêk dihat, bi hesibandina alternatîf in. Muqayeseyeke Belgekirin teknîkî û zanistî yên ku projeya nû ya bi belge minasiw projeyeke heyî, testkirina diyarkirî, ceribandina berhemên nû nivîsbariyê û îspat results.