Verifisering - prosessen med å validere programvare

Begrepene "verifikasjon" og "validerings" er svært ofte brukt i teknisk litteratur og er knyttet til kvaliteten på analysen av programvare. I den vitenskapelige litteraturen er det ulike tolkninger av disse begrepene. Så, prøv å se på saken.

Den mest hensiktsmessige, etter vårt syn, er følgende definisjon. Validering og verifisering - er aktiviteter som er rettet mot å utføre kvalitetskontroll av programvaren for å oppdage feil i de tidlige stadier av den. Det ville synes at de har et felles mål. Likevel, disse artene har forskjeller i kildene til verifiserbare egenskaper, begrensninger og forskrifter brudd som kan betraktes som en feil.

Verifisering - en sjekk av samsvar av programvaren teknisk dokumentasjon levert av kravspesifikasjon, arkitektur eller domene modell. I "duty" i uttrykket er inkludert, og sammenligning beregningsrutinene til prosessen med utvikling, regler og standarder.

Data verifisering kan utføres for å sette driften av compliance program etablert standarder, krav, design og brukerdokumentasjon. I dette tilfellet skal en obligatorisk før inspeksjonen være underlagt disse dokumentene, som er i forhold til de overholder standarder og bestemmelser fastsatt i det landet der programvaren brukes. Det er nødvendig å ta hensyn til og respekt for alle sekvenser av operasjoner som utføres.

I tilfelle av en feil eller feil i programmet eller annet det er en konflikt mellom de ovennevnte dokumenter og den nåværende funksjon av programmet beslutningen om valg av instrument for korreksjonen skal være løsningen på en bestemt oppgave.

I motsetning til verifisering validering er ansvarlig for å verifisere samsvar med utviklede eller ledsaget programvare behov eller behovene til kunder eller brukere. Disse behovene er ofte ikke registrert i noen dokumenter. Det er derfor validering mindre formalisert enn verifisering. Dette er en prosess der representanter for kunden, brukeren, og kan også delta på en analytiker eller en ekspert på fagområdet. Med andre ord, de som kan uttrykke de spesifikke behov og de reelle behovene til interessenter.

Verifisering - er svaret på spørsmålet "Er programvaren riktig gjort?", Og validering - "Vil riktig programvare".

Når du søker etter et svar på disse spørsmålene, kan du oppleve at valideringen (eller sertifisering) innhold er satt litt bredere enn sjekk (verifikasjon). Imidlertid er verifisering nært knyttet til å sikre kontroll over programvaren produktkvalitet.

For eksempel, verifikasjon av et datamaskinprogram tilveiebringer en fremgangsmåte hvor grunnlaget for målet er å sikre at tilfredsstille disse krav, og særlig oppnådde produktets levetid, vil de som ble oppnådd i foregående trinn.

Hvis vi snakker om modellen verifisering, her vil vi fokusere på verifikasjon av korrekt visning av datamodeller som trengs konseptuelle eller matematiske modeller.

Når verifikasjonssystem kode analyserer kildekoding og verifisering av dens samsvar dokumentar beskrivelse.

Verifikasjonsprosessen kan inkludere operasjoner, omfattende alternative beregninger. En sammenligning av teknisk og vitenskapelig dokumentasjon av det nye prosjektet med nødvendig dokumentasjon av et eksisterende prosjekt, obligatorisk testing, testing av ny programvare og demonstrere resultater.