Pagpapatunay at Pag-verify

Anonim

Pagpapatunay kumpara sa Pag-verify

Ang Verification and Validation (kilala rin bilang V & V) ay dalawang bahagi ng parehong pakete ng software. Ginagamit ang mga ito sa pamamahala ng proyektong software, pagsubok ng software, at software engineering. Ito ay ang proseso kung saan ang isang software system ay nakakatugon sa ilang mga pagtutukoy. Ito rin ang proseso kung saan natutupad ng isang software system ang inilaan na layunin ng paglikha nito. Ito ay karaniwang kilala bilang software quality control.

Ang pagpapatunay ay ang bahagi ng mga pagsusuri at balanse ng software na sumusuri na ang disenyo ng produkto ay natutugunan o naaangkop sa paggamit kung saan ito ay nilayon. Ito ay kilala bilang mataas na antas ng pagsuri (karaniwang, nagpapaalam sa sistema na itinayo nito ang tamang produkto). Nagbibigay ito ng gawaing ito gamit ang dynamic na pagsusuri at iba't ibang iba pang mga anyo ng pagsusuri. Ang partikular na Dynamic na pagsusuri ay sinisiyasat ang pisikal na tugon mula sa sistema sa mga variable na hindi pare-pareho at, sa oras, ay madaling kapitan ng pagbabago. Sa isang pangunahing kahulugan, tinitiyak ng pagpapatunay na ang produkto ay nakakatugon sa mga pangangailangan ng gumagamit. Tinitiyak din nito na ang ilang mga pagtutukoy ay, sa katunayan, tama mula sa simula ng programa. Talaga, pinatutunayan ka ng pagpapatunay na alam mo kung naitayo mo ang tamang bagay.

Ang pagpapatunay ay ang bahagi ng mga tseke at balanse ng software na sinusuri ang software upang matukoy kung ang mga produkto na matatagpuan sa isang bahagi ng pag-unlad ay nakakatugon sa mga kondisyon na inilalabas sa simula ng partikular na yugto. Sa isang pangunahing kahulugan, pinatutunayan ng pag-verify na ang partikular na produkto ay binuo alinsunod sa mga kinakailangan at mga pagtutukoy ng disenyo na ipinakilala sa simula ng programa. Medyo lantaran, pinatutunayan ka ng pagpapatunay na tama ang tamang bagay.

Higit pa sa komunidad ng software, ang mga kahulugan ng pagpapatunay at pagpapatunay ay medyo kapareho. Sa komunidad ng pagmomolde at kunwa, ang pagpapatunay ay ang proseso kung saan ang antas ng katumpakan ng isang modelo, kunwa, o pederasyon ng mga modelo at mga simulation at ang kanilang nauugnay na data ay maaaring matukoy. Tinutukoy din nito kung ang mga modelo, simulations, o federations na ito ay tumpak na representasyon ng tunay na mundo mula sa pananaw ng paggamit na nilayon para sa modelo, atbp. Ang pagpapatunay, sa kabilang banda, ay ang proseso kung saan tinutukoy ng system kung isang modelo ng computer, kunwa, o pederasyon ng mga modelo at mga pagpapatupad ng simulation at nilalaman na nauugnay sa data na iyon ay kumakatawan sa mga haka-haka na paglalarawan at pagtutukoy ng developer.

Buod:

1. Ang mga tseke ng pagpapatunay na ang isang disenyo ng produkto ay naaangkop sa nilayong paggamit nito (kung ang tamang bagay ay binuo); Sinusuri ng pag-verify ang software na tutukoy kung nahanap ng mga produkto ang mga kondisyon na nakalagay (kung ang bagay na itinayo ay tama nang tama).

2. Sa komunidad ng pagmomodelo at kunwa, ang pagpapatunay ay tumutukoy sa antas ng kawastuhan ng nauugnay na data sa tunay na mundo ayon sa modelo; Tinutukoy ng pag-verify kung ang isang modelo ng computer at ang nauugnay na nilalaman ay kumakatawan sa mga hayagang paglalarawan at pagtutukoy ng developer.