Verificació - el procés de validació de programari

Els termes "verificació" i "validació" s'utilitza molt sovint en la literatura tècnica i estan relacionats amb la qualitat de l'anàlisi de qualsevol programari. En la literatura científica hi ha diverses interpretacions d'aquests conceptes. Per tant, tractar de mirar la matèria.

La més adequada, al nostre parer, és la següent definició. Validació i verificació - són activitats que tenen per objecte dur a terme el control de qualitat de programari per detectar errors en les primeres etapes de la mateixa. Semblaria que tenen un objectiu comú. No obstant això, aquestes espècies tenen diferències en les fonts de propietats verificables, restriccions i regulacions, violació dels quals es poden considerar un error.

Verificació - verificació de la conformitat del programari de documentació tècnica proporcionada per l'especificació de requisits, l'arquitectura o el domini del model. En el "deure" del terme està inclòs i els procediments de càlcul comparació amb el procés de desenvolupament, les regles i normes.

verificació de dades es pot realitzar per configurar el funcionament de les normes, requisits, disseny i documentació d'usuari del programa de compliment establert. En aquest cas, un pre-inspecció obligatòria estarà subjecta a aquests documents, que es comparen al seu compliment de les normes i regulacions establertes al país on s'opera el programari. Cal prendre en consideració i respecte per totes les seqüències d'operacions realitzades.

En el cas d'un error o defecte en el programa o si no hi ha un conflicte entre els documents abans esmentats i el corrent de funcionament del programa de la decisió sobre l'elecció d'un instrument per a la correcció ha de ser la solució per a una tasca en particular.

A diferència de la verificació de validació és responsable de verificar el compliment de les necessitats de programari desenvolupats o acompanyats o les necessitats dels clients o usuaris. Aquestes necessitats sovint no es registren en cap document. És per això que la validació menys formalitzada de verificació. Aquest és un procés en el qual representants de la client, usuari, i també pot assistir a un analista o un expert en la matèria. En altres paraules, aquells que poden expressar les necessitats específiques i les necessitats reals dels interessats.

Verificació - és la resposta a la pregunta "És el programari correctament fet?", I la validació - "? ¿El programari adequat".

Durant la recerca d'una resposta a aquestes preguntes, és possible que el contingut de validació (o certificació) està ajustat lleugerament més ampla que la verificació (verificació). No obstant això, la verificació està estretament lligada a la garantia control sobre la qualitat del producte de programari.

Per exemple, la verificació d'un programa d'ordinador proporciona un procés en el qual la base per a l'objectiu és garantir que compleixen aquests requisits, en particular cicle de vida del producte obtingut, als obtinguts en el pas anterior.

Si parlem de la verificació del model, aquí ens centrarem en la verificació de la correcta visualització dels models d'ordinador necessaris conceptuals o models matemàtics.

Quan el codi sistema de verificació de les anàlisis de la font de codificació i verificació de la seva descripció documental coincident.

El procés de verificació pot incloure operacions que comprenen càlculs alternatius. Una comparació de la documentació tècnica i científica del nou projecte amb la documentació apropiada d'un projecte existent, les proves obligatòries, les proves del nou producte de programari i els resultats demostren.