Verifikasie - die proses van validering sagteware

Die terme "verifikasie" en "bevestiging" is baie dikwels gebruik in die tegniese literatuur en verband hou met die gehalte van die ontleding van enige sagteware. In die wetenskaplike literatuur is daar verskeie interpretasies van hierdie konsepte. So, probeer om te kyk na die saak.

Die mees geskikte, na ons mening, is die volgende omskrywing te vervang. Validering en verifikasie - is aktiwiteite wat daarop gemik is om die uitvoering van die kwaliteit beheer van die sagteware om foute op te spoor in die vroeë stadiums van dit. Dit blyk dat hulle het 'n gemeenskaplike doel te bereik. Tog, hierdie spesies het verskille in die bronne van verifieerbare eienskappe, beperkings en regulasies, skending van wat kan beskou word as 'n fout.

Verifikasie - 'n tjek van ooreenstemming van die sagteware tegniese dokumentasie wat deur die vereistes spesifikasie, argitektuur of domein model. In die "plig" van die term ingesluit en die vergelyking berekening prosedures om die proses van ontwikkeling, reëls en standaarde.

verifikasie data uitgevoer kan word om die funksionering van die nakoming program gevestigde standaarde, vereistes, ontwerp, en gebruikers dokumentasie. In hierdie geval, sal 'n verpligte pre-inspeksie onderworpe wees aan dié dokumente, wat in vergelyking met hul nakoming van standaarde en regulasies soos uiteengesit in die land waar die sagteware bedryf gestel. Dit is nodig om in ag te neem en respek vir alle rye van operasies uitgevoer.

In die geval van 'n fout of defek in die program of anders is daar 'n konflik tussen die bogenoemde dokumente en die huidige funksionering van die program die besluit oor die keuse van instrument vir die regstelling moet die oplossing vir 'n spesifieke taak wees.

In teenstelling met die verifikasie validering is verantwoordelik vir die verifikasie van die nakoming van ontwikkelde of vergesel sagteware behoeftes of die behoeftes van kliënte of gebruikers. Hierdie behoeftes word dikwels nie aangeteken in enige dokumente. Dit is waarom validering minder formeel as verifikasie. Dit is 'n proses waarin verteenwoordigers van die kliënt, gebruiker, en kan ook 'n ontleder of 'n kenner in te woon die vakgebied. Met ander woorde, diegene wat kan die spesifieke behoeftes en die werklike behoeftes van belanghebbendes uit te druk.

Verifikasie - is die antwoord op die vraag: "Is die sagteware behoorlik gemaak?", En validering - "? Sal die regte sagteware".

As jy soek vir 'n antwoord op hierdie vrae, kan jy vind dat die bekragtiging (of sertifisering) inhoud effens wyer as die tjek (verifikasie) is ingestel. Dit is egter verifikasie nou gekoppel aan die versekering van die beheer oor die kwaliteit sagteware produk.

Byvoorbeeld, sal die verifiëring van 'n rekenaar program bied 'n proses waarin die basis vir die doel is om te verseker dat aan hierdie vereistes voldoen, in die besonder verkry produklewensiklus, aan diegene wat in die vorige stap.

As ons praat oor die model verifikasie, hier gaan ons fokus op die verifikasie van die korrekte vertoning van die rekenaar modelle nodig konseptuele of wiskundige modelle.

Wanneer verifikasie stelsel kode ontleed die bron kodering en verifikasie van sy bypassende dokumentêre beskrywing.

Die verifikasie proses kan insluit bedrywighede uit alternatiewe berekeninge. 'N Vergelyking van die tegniese en wetenskaplike dokumentasie van die nuwe projek met die nodige dokumentasie van 'n bestaande projek, verpligte toetsing, toetsing van nuwe sagteware produk en toon die resultate.