Verification - tus txheej txheem ntawm validating software

Cov nqe lus "pov thawj" thiab "validation" yog heev feem ntau siv nyob rau hauv cov kev sau ntaub ntawv thiab yog hais txog qhov zoo ntawm cov kev soj ntsuam ntawm tej software. Nyob rau hauv lub scientific ntaub ntawv muaj ntau ntau yam txhais ntawm cov tswv yim. Yog li ntawd, sim saib mus rau hauv qhov teeb meem.

Cov feem ntau tsim nyog, nyob rau hauv peb view, yog cov nram qab no txhais. Validation thiab pov thawj - yog kev ua ub no uas yog aimed ntawm nqa tawm lub zoo tswj ntawm lub software rau ntes tsis nyob rau hauv thaum ntxov ua sawv ntawm nws. Nws yuav zoo li hais tias lawv muaj ib lub hom phiaj. Tseem, cov tsiaj muaj sib txawv nyob rau hauv lub qhov chaw ntawm verifiable zog, tej kev txwv thiab kev cai, ua txhaum ntawm cov uas yuav suav hais tias ib tug yuam kev.

Verification - ib daim tshev ntawm conformity ntawm lub software kev cov ntaub ntawv uas muab los ntawm cov kev cai specification, architecture los yog sau cov qauv. Nyob rau hauv lub "duty" ntawm lub sij hawm yog muaj thiab cov kev sib piv xam cov txheej txheem rau tus txheej txheem ntawm txoj kev loj hlob, cov kev cai thiab cov txheej txheem.

Cov ntaub ntawv pov thawj yuav tsum tau mus teev cov hauj lwm ntawm lub ua raws cai kev pab cuam tsim qauv, uas yuav tsum tau, tsim, thiab cov neeg siv cov ntaub ntawv. Nyob rau hauv cov ntaub ntawv no, ib tug yuav tsum pre-kev soj ntsuam xyuas yuav tsum raug rau cov neeg cov ntaub ntawv, uas yog muab piv rau lawv raws li cov qauv thiab cov kev tswj teem tawm nyob rau hauv lub teb chaws nyob qhov twg cov software yog ua. Nws yog tsim nyog los noj mus rau hauv kev saib xyuas thiab kev hwm rau tag nrho cov sequences of operations ua.

Nyob rau hauv cov kev tshwm sim ntawm ib tug yuam kev los yog kho raws nyob rau hauv qhov kev pab cuam los yog lwm tus muaj yog ib tug teeb meem ntawm cov saum toj no-hais cov ntaub ntawv thiab tam sim no hauj lwm ntawm cov kev pab cuam qhov kev txiav txim nyob rau hauv cov kev xaiv ntawm kev ntsuas rau tus kho lus yuav tsum tau cov tshuaj rau ib tug neeg ua hauj lwm.

Tsis zoo li pov thawj validation yog lub luag hauj lwm rau saib meej raws li tsim los nrog software xav tau kev pab los yog cov kev xav tau ntawm cov neeg muas zaub los yog cov neeg. Cov xav tau kev pab yog feem ntau tsis sau tseg nyob rau hauv tej ntaub ntawv. Uas yog vim li cas validation tsawg muaj kev tshaj pov thawj. Qhov no yog ib tug txheej txheem nyob rau hauv uas cov neeg sawv cev ntawm tus neeg muas zaub, neeg siv, thiab muaj peev xwm kuj mus kawm ib lub analyst los yog ib tug kws muaj txuj nyob rau hauv cov kev kawm cheeb tsam. Nyob rau hauv lwm yam lus, cov neeg uas yuav qhia cov kev xav tau thiab cov tiag tiag kev xav tau ntawm cov neeg muaj feem.

Verification - yog lo lus teb rau lo lus nug "Yog lub software kom ua?", Thiab validation - "Yuav txoj cai software?".

Thaum searching rau ib lo lus teb rau cov lus nug, tej zaum koj yuav nrhiav tau hais tias cov validation (los yog ntawv pov thawj) cov ntsiab lus yog teem ib nyuag dav tshaj lub kos (pov thawj). Txawm li cas los, pov thawj yog zoo txuas rau kom ntseeg tau tswj lub software khoom zoo.

Piv txwv li, pov thawj ntawm ib tug computer program muab ib tug txheej txheem nyob rau hauv uas lub hauv paus rau lub aim yog los xyuas kom meej uas hais tias tau cov uas yuav tsum tau, nyob rau hauv particular tau khoom lub neej voj voog, rau cov uas tau nyob rau hauv lub yav dhau los kauj ruam.

Yog hais tias peb tham txog cov qauv pov thawj, ntawm no peb yuav kub siab rau pov thawj ntawm qhov tseeb zaub ntawm lub computer ua qauv uas yuav tsum tau conceptual los yog zauv qauv.

Thaum pov thawj system code ntsuam qhov coding thiab saib meej txog nws txoj kev documentary hauj lwm.

Lub pov thawj txheej txheem yuav muaj xws li ua hauj lwm muaj lwm txoj kev suav. Ib tug sib piv ntawm cov kev scientific ntaub ntawv ntawm lub tshiab peb tes num uas tsim nyog cov ntaub ntawv ntawm ib tug uas twb muaj lawm project, yuav tsum tau soj ntsuam, kev soj ntsuam ntawm tshiab software khoom thiab qhia tau.