Verifikasyon - pwosesis la nan validation lojisyèl

tèm yo "verifikasyon" ak "validation" se yon bagay ki souvan yo itilize nan literati a teknik ak ki gen rapò ak bon jan kalite a nan analiz la nan nenpòt ki lojisyèl. Nan literati syantifik la gen divès entèpretasyon nan konsèp sa yo. Se konsa, eseye gade nan pwoblèm nan.

pi apwopriye a, nan wè nou an, se definisyon ki anba la a. Validasyon ak verifikasyon - yo se aktivite ki se nan bi pou pote soti kontwòl nan bon jan kalite nan lojisyèl an yo detekte erè nan premye etap yo byen bonè nan li. Li ta sanble ke yo gen yon objektif komen. Toujou, espès sa yo gen diferans ki genyen nan sous yo nan pwopriyete verifye, restriksyon ak règleman, vyolasyon nan yo ki ka konsidere kòm yon erè.

Verifikasyon - yon chèk nan soumission nan lojisyèl dokiman an teknik ki ofri pa kondisyon spesifikasyon, achitekti oswa domèn modèl la. Nan "devwa nan" nan tèm nan se enkli ak konparezon kalkil pwosedi yo nan pwosesis la nan devlopman, règ ak estanda.

ka verifikasyon Done dwe fèt yo mete fonksyone nan pwogram konfòmite etabli estanda, kondisyon, konsepsyon, ak dokiman nan itilizatè. Nan ka sa a, se yon obligatwa pre-enspeksyon pral sijè a moun dokiman yo, ki se konpare ak konfòmite yo ak estanda ak règleman mete deyò nan peyi a kote se lojisyèl an opere. Li nesesè pran an konsiderasyon ak respè pou tout sekans nan operasyon fèt.

Nan evènman an nan yon erè oswa domaj nan pwogram nan oswa lòt moun gen yon konfli ant dokiman yo mansyone pi wo a-yo ak fonksyone nan aktyèl la nan pwogram nan desizyon an sou chwa pou yo enstriman pou koreksyon an ta dwe solisyon an nan yon travay an patikilye.

Kontrèman ak validation verifikasyon ki responsab pou verifye konfòmite avèk bezwen lojisyèl devlope oswa akonpaye oswa bezwen yo nan kliyan oswa itilizatè. bezwen sa yo souvan pa ekri nan nenpòt ki dokiman. Se pou rezon sa validation mwens ofisyèlman pase verifikasyon. Sa a se yon pwosesis kote reprezantan ki nan kliyan, itilizatè a, epi li ka tou patisipe nan yon analis oswa yon ekspè nan zòn nan sijè. Nan lòt mo, moun ki ka eksprime bezwen yo espesifik ak bezwen yo reyèl nan moun ki gen enterè.

Verifikasyon - se repons lan nan kesyon an "Èske lojisyèl an byen fè?", Ak validation - "? Èske lojisyèl an dwa".

Lè pou chèche yon repons bay kesyon sa yo, ou ka jwenn ke se validation (oswa sètifikasyon) kontni an mete yon ti kras pi laj pase chèk la (verifikasyon). Sepandan, verifikasyon se lye a asire kontwòl sou bon jan kalite a pwodwi lojisyèl.

Pou egzanp, verifikasyon yon pwogram òdinatè bay yon pwosesis kote baz pou bi a se asire ke ranpli kondisyon sa yo, an patikilye jwenn sik lavi pwodwi, bay moun jwenn nan etap nan anvan yo.

Si nou pale sou verifikasyon an modèl, isit la nou pral konsantre sou verifikasyon nan ekspozisyon ki kòrèk la nan modèl yo òdinatè bezwen konseptyèl ekspresyon oswa modèl matematik.

Lè Kòd sistèm verifikasyon analyse sous la kodaj ak verifye deskripsyon matche dokimantè li yo.

Pwosesis la verifikasyon ka gen ladan operasyon comprenant kalkil altènatif. Yon konparezon nan dokiman teknik ak syantifik nan pwojè a nouvo ak dokiman apwopriye a nan yon pwojè ki deja egziste, tès obligatwa, tès nan pwodwi lojisyèl nouvo ak demontre rezilta yo.