Pag-verify - ang proseso ng pagpapatunay software

Ang mga terminong "verify" at "pagpapatunay" ay napaka-madalas na ginagamit sa mga teknikal na literatura at ay may kaugnayan sa ang kalidad ng mga pagsusuri ng anumang software. Sa pang-agham panitikan may mga iba't-ibang interpretations ng mga konsepto. Kaya, subukan upang tumingin sa mga bagay na ito.

Ang pinaka-angkop na, sa aming view, ay ang mga sumusunod na kahulugan. Pagpapatunay at pag-verify - mga gawain na naglalayong isakatuparan ang kalidad kontrol ng ang software sa tiktikan error sa maagang yugto nito. Gusto Ito tila na sila ay may isang pangkaraniwang layunin. Still, ang mga species ay may mga pagkakaiba sa mga mapagkukunan ng nabe-verify na ari-arian, mga paghihigpit at regulasyon, paglabag sa mga ito ay maaaring ituring na isang pagkakamali.

Pag-verify - isang tseke ng pag-alinsunod sa mga software teknikal na dokumentasyon na ibinigay ng ang mga kinakailangan na detalye, arkitektura o domain modelo. Sa "duty" ng termino ay kasama at ang paghahambing ng pagkalkula pamamaraan upang ang proseso ng pag-unlad, mga patakaran at pamantayan.

Data ng pagpapatunay maaaring maisagawa upang i-set ang gumagana ng pagsunod programa na itinatag na pamantayan, mga kinakailangan, disenyo, at user babasahin. Sa kasong ito, ang mandatoryong pre-inspeksyon ay sasailalim sa mga dokumentong iyon, na kung ihahambing sa kanilang pagsunod sa mga pamantayan at mga regulasyon na itinakda sa bansa kung saan ang software ay pinatatakbo. Ito ay kinakailangan upang isaalang-alang at paggalang para sa lahat ng mga pagkakasunud-sunod ng mga operasyon gumanap.

Sa kaganapan ng isang error o depekto sa programa o kung mayroong salungatan sa pagitan ng mga nabanggit na mga dokumento at ang kasalukuyang paggana ng programa ang desisyon sa pagpili ng mga instrumento para sa pagwawasto ay dapat na ang solusyon sa isang partikular na gawain.

Hindi tulad ng pag-verify ng pagpapatunay ay responsable para sa pag-verify ang pagsunod sa maunlad o sinamahan pangangailangan software o ang mga pangangailangan ng mga customer o mga gumagamit. Ang mga pangangailangan ay madalas na hindi nakatala sa anumang mga dokumento. Iyon ay kung bakit pagpapatunay mas formalized sa pag-verify. Ito ay isang proseso kung saan ang mga kinatawan ng customer, gumagamit, at maaari ring dumalo sa isang analyst o isang dalubhasa sa ang paksa na lugar. Sa ibang salita, ang mga na maaaring ipahayag ang mga partikular na pangangailangan at ang tunay na pangangailangan ng mga stakeholder.

Pag-verify - ay ang sagot sa tanong na "Ay ang software na maayos na ginawa?", At pagpapatunay - "? Makakaapekto ba ang karapatan ng software".

Kapag naghahanap para sa isang sagot sa mga tanong na, maaari mong mahanap na ang pagpapatunay (o certification) na nilalaman ay naka-set bahagyang mas malawak kaysa sa tseke (pagpapatunay). Gayunman, ang pag-verify ay may malapit na naka-link sa pagtiyak kontrol sa kalidad ng software produkto.

Halimbawa, pag-verify ng isang computer program ay nagbibigay ng isang proseso kung saan ang batayan para sa mga layunin ay upang matiyak na matugunan ang mga kinakailangang ito, sa partikular nakuha cycle ng produkto buhay, sa mga nakuha sa nakaraang hakbang.

Kung makipag-usap namin tungkol sa pag-verify ng modelo, dito kami ay tumutok sa pag-verify ng ang tamang pagpapakita ng mga modelo ng computer na kinakailangan pangkonseptong o matematikal na mga modelo.

Kapag pag-verify ng system code pinag-aaralan ang source coding at pag-verify katugma nitong documentary paglalarawan.

Ang proseso ng pag-verify ay maaring isama ang mga operasyon na binubuo ng alternatibong mga kalkulasyon. Ang paghahambing ng mga teknikal at pang-agham na dokumentasyon ng bagong proyekto na may naaangkop na dokumentasyon ng isang umiiral na proyekto, ipinag-uutos na pagsubok, pagsubok ng mga bagong produkto ng software at nagpapakita ng mga resulta.