Verification - it proses fan validating software

De termen "ferifikaasje" en "falidaasje" wurdt hiel faak brûkt yn de technyske literatuer en wurde besibbe oan 'e kwaliteit fan' e analyze fan in software. Yn de wittenskiplike literatuer binne der ferskate ynterpretaasjes fan dy begripen. Dus, besykje om te sjen yn 'e saak.

De meast passend, yn ús eagen, is de folgjende definysje. Falidaasje en ferifikaasje - binne aktiviteiten dy't rjochte op it útfieren fan de kwaliteit kontrôle fan de software te spoaren flaters yn de earste fazen fan it. It soe lykje dat se ha in mienskiplik doel. Noch, dizze soarten hawwe ferskillen yn 'e boarnen fan' e kontrolearber eigenskippen, beperkingen en regeljouwing, skeining fan hokker kin beskôge wurde as in flater.

Verification - in kontrôle dwaan fan oerienstimming fan 'e software technyske dokumintaasje levere troch de easken spesifikaasje, arsjitektuer of domein model. Yn de "plicht" fan 'e term is opnaam en de ferliking berekkenjen prosedueres oan it proses fan ûntwikkeling, regels en noarmen.

Data verification kin útfierd wurde om it funksjonearjen fan it neilibjen programma oprjochte standerts, easken, design, en brûker dokumintaasje. Yn dit gefal, in ferplichte pre-ynspeksje sil wêze ûnder foarbehâld fan dy stikken, dêr't wurde ferlike mei harren neilibjen fan noarmen en regeljouwing fêstlein yn it lân dêr't de software wurdt eksploitearre. It is needsaaklik om te nimmen yn oerweging en respekt foar alle rige fan operaasjes útfierd.

Yn it gefal fan in flater of defekt yn it programma of oars is der in konflikt tusken de niisneamde stikken en de hjoeddeiske funksjonearjen fan it programma it beslút op 'e kar fan' ynstrumint foar de korreksje moat wêze de oplossing ta in bepaalde taak.

Oars as verification falidaasje is ferantwurdlik foar it kontrolearjen fan it neilibjen fan ûntwikkele of ûnder begelieding software ferlet of it ferlet fan klanten of brûkers. Dy behoeften wurde faak net fêstlein yn alle dokuminten. Dêrom falidaasje minder offisjeel fêstlein as de ferifikaasje. Dat is in proses, wêrby't fertsjintwurdigers fan de klant, brûker, en kin ek bywenje in analist of in ekspert op it ûnderwerp gebiet. Mei oare wurden, dy't dat kin uterje de spesifike winsken en de wiere ferletten fan 'e oanbelangjende partijen.

Verification - is it antwurd op de fraach "Is de software goed makke?", En falidaasje - "Wol de rjochter software?".

By it sykjen om in antwurd op dizze fragen, dan kinne jo fine dat it falidaasje (of sertifisearring) ynhâld wurdt ynsteld wat breder as de sjek (ferifikaasje). Lykwols, ferifikaasje is nau ferbûn mei it garandearjen fan kontrôle oer de software produkt kwaliteit.

Bygelyks, de ferifikaasje fan in kompjûter programma biedt in proses dêr't de basis foar it doel is om te soargjen dat foldwaan oan dizze easken, yn it bysûnder krige produkt libben syklus, mei dy krige yn 'e foarige stap.

As wy prate oer it model ferifikaasje, hjir sille wy rjochtsje op de ferifikaasje fan de korrekte werjefte fan de kompjûter modellen nedich conceptual of wiskundige modellen.

Wannear't ferifikaasje systeem koade analysearret de boarne taalkodearjen en neigean fan syn bypassende dokumintêre omskriuwing.

De ferifikaasje proses kin ûnder oare operaasjes mei dêryn alternative berekkenings. In ferliking fan de technyske en wittenskiplike dokumintaasje fan it nije projekt mei passende dokumintaasje fan in besteande projekt, ferplichte testen, testen fan nije software produkt en oantoande resultaten.