Verifiering - processen att validera programvara

Termerna "verifiering" och "validering" är mycket ofta används i den tekniska litteraturen och är relaterade till kvaliteten på analysen av någon programvara. I den vetenskapliga litteraturen finns det olika tolkningar av dessa begrepp. Så försök att undersöka saken.

Den lämpligaste, enligt vår mening, är följande definition. Validering och verifiering - är aktiviteter som syftar till att utföra kvalitetskontroll av programvaran för att upptäcka fel i ett tidigt skede av det. Det verkar som om de har ett gemensamt mål. Ändå dessa arter har skillnader i källorna till verifierbara egenskaper, begränsningar och förordningar, en kränkning av dessa kan anses vara ett misstag.

Verifiering - kontroll av överensstämmelse av programvaran tekniska dokumentation som tillhandahålls av kravspecifikation, arkitektur eller domänmodell. I "plikt" av begreppet ingår och beräkningsförfaranden jämförelse med processen för utveckling, regler och normer.

verifiering data kan utföras för att ställa in funktionen hos övervakningsplanen etablerade standarder, krav, design och användardokumentation. I detta fall skall en obligatorisk före inspektionen vara föremål för dessa handlingar, som jämförs med de uppfyller standarder och föreskrifter som anges i det land där programvaran används. Det är nödvändigt att ta hänsyn till och respekt för alla sekvenser av operationer som utförs.

I händelse av ett fel eller fel i programmet eller så det finns en konflikt mellan de ovan nämnda dokument och den aktuella programmets funktion beslutet om val av instrument för korrigeringen bör vara lösningen på en viss uppgift.

Till skillnad från validering verifiering är ansvarig för att kontrollera efterlevnaden av utvecklade eller tillsammans mjukvaru behov eller behoven hos kunder eller användare. Dessa behov är ofta inte in i något dokument. Det är därför validering mindre formaliserat än verifiering. Detta är en process där företrädare för kunden, användaren och kan även delta i en analytiker eller en expert på ämnesområdet. Med andra ord, de som kan uttrycka de särskilda behoven och de verkliga behoven hos intressenter.

Verifiering - är svaret på frågan "Är programvaran ordentligt gjort?", Och validering - "Kommer rätt programvara".

När du söker efter ett svar på dessa frågor, kan det hända att innehållet valideringen (eller certifiering) sätts något bredare än kontrollen (verifiering). Dock är verifiering nära kopplat till att säkerställa kontroll över programvaran produktkvalitet.

Till exempel ger verifiering av ett datorprogram en process där grunden för syftet är att se till att uppfylla dessa krav, särskilt erhållna produktlivscykeln, med dem som erhölls i föregående steg.

Om vi talar om modellen verifiering här kommer vi att fokusera på verifiering av den korrekta visning av datormodeller som behövs konceptuella eller matematiska modeller.

När kontrollsystemet koden analyserar källan kodning och verifiera dess matchande dokumentär beskrivning.

Verifieringsprocessen kan inkludera insatser som omfattar alternativa beräkningar. En jämförelse av teknisk och vetenskaplig dokumentation av det nya projektet med lämplig dokumentation av ett befintligt projekt, obligatoriska tester, test av ny programvara och visar resultat.