Beripikasyon - ang proseso sa pagbalido software

Ang termino nga "verification" ug "validation" kaayo sa kasagaran nga gigamit sa mga teknikal nga mga literatura ug nga may kalabutan sa sa kalidad sa mga pagtuki sa bisan unsa nga software. Sa siyentipikanhong mga literatura adunay nagkalain-laing mga interpretasyon sa niini nga mga konsepto. Busa, sa pagsulay sa pagtan-aw ngadto sa butang.

Ang labing angay, sa atong panglantaw, mao ang mosunod nga kahulugan. Validation ug verification - mga kalihokan nga nagtumong sa pagtuman sa kalidad nga kontrol sa mga software sa pagmatikod sa mga sayop sa unang mga hugna sa niini. Kini daw nga sila adunay usa ka komon nga tumong. Bisan pa niana, kini nga mga sakop sa henero nga adunay mga kalainan sa mga tinubdan sa mapamatud-an nga mga kabtangan, pagdili ug regulasyon, paglapas sa nga mahimong giisip nga usa ka sayop.

Verification - sa usa ka check sa pagpahiuyon sa software teknikal nga dokumentasyon nga gihatag sa mga kinahanglanon paghingalan, arkitektura o domain modelo. Sa "katungdanan" sa termino gilakip ug ang pagtandi kalkulasyon pamaagi sa proseso sa paglambo, mga lagda ug mga sumbanan.

Data verification mapahigayon aron sa sa ninglihok sa pagsunod sa programa nga gitukod sa mga sumbanan, mga kinahanglanon, disenyo, ug user dokumento. Sa kini nga kaso, ang usa ka mandatory pre-inspection mahimong subject sa mga dokumento, nga gitandi sa ilang pagsunod sa mga sumbanan ug regulasyon nga gilatid sa nasud diin ang software nga gipalihok. Kini mao ang gikinahanglan sa pagkuha sa ngadto sa konsiderasyon ug pagtahod alang sa tanang han-ay sa operasyon nga gihimo.

Sa panghitabo sa usa ka sayop o depekto sa programa o adunay usa ka panagbangi tali sa ibabaw-nga gihisgotan nga mga dokumento ug ang mga kasamtangan nga ninglihok sa mga programa sa desisyon sa pagpili sa instrumento alang sa pagtul-id kinahanglan nga ang solusyon sa usa ka partikular nga buluhaton.

Dili sama sa verification validation mao ang responsable alang sa pagtino pagsunod sa adunahang mga o inubanan panginahanglan sa software o sa mga panginahanglan sa mga kustomer o sa tiggamit. Kini nga mga mga panginahanglan sa kasagaran dili natala sa bisan unsa nga mga dokumento. Mao nga ang validation dili kaayo pormal kay sa panghimatuud. Kini mao ang usa ka proseso diin ang mga representante sa mga customer, user, ug mahimo usab motambong sa usa ka tigtuki, tigdukiduki o sa usa ka eksperto sa sa hilisgutan nga dapit. Sa laing mga pulong, ang mga nga pagpahayag sa piho nga mga panginahanglan ug sa mga tinuod nga mga panginahanglan sa mga stakeholders.

Beripikasyon - mao ang tubag sa pangutana "ang software sa tukma nga paagi nga gihimo?", Ug validation - "? Ang mga matarung nga software".

Sa diha nga ang pagpangita alang sa usa ka tubag niini nga mga pangutana, nga kamo mahimo nga makita nga ang validation (o certification) sulod mao ang gamay mas lapad pa kay sa tseke (panghimatuud). Apan, beripikasyon mao ang pag-ayo nga nalambigit sa pagsiguro sa kontrol sa ibabaw sa kalidad software produkto.

Pananglitan, panghimatuud sa usa ka computer nga programa naghatag og usa ka proseso diin ang basehan alang sa tumong mao ang aron sa pagsiguro nga sa pagsugat niini nga mga kinahanglanon, sa partikular nga nakuha siklo produkto sa kinabuhi, sa mga nakuha sa miaging lakang.

Kon maghisgot kita sa verification nga modelo, dinhi kita focus sa panghimatuud sa husto nga pagpasundayag sa mga modelo computer nga gikinahanglan konseptuwal o matematika modelo.

Sa diha nga panghimatuud sistema sa code analisar sa tinubdan coding ug pagmatuod sa iyang matching documentary nga paghulagway.

Ang proseso sa panghimatuud mahimong maglakip sa operasyon naglangkob alternatibo kalkulasyon. Usa ka pagtandi sa technical ug siyentipikanhong dokumentasyon sa bag-ong proyekto sa tukmang dokumentasyon sa usa ka kasamtangan nga proyekto, mandatory testing, testing sa mga bag-ong produkto software ug pagpakita sa mga resulta.