Drift av dine tekniske systemer er avhengig av sikker og pålitelig programvare. Uavhengig verifikasjon og validering av programvaren innebærer at vi utfører verifikasjon og validering i tillegg til det som organisasjonen selv gjør. Dette gir bedre programvare for mindre penger. DNV tilbyr uavhengig vurdering av programvare, og verifikasjon og validering av det tekniske systemet ditt. Denne vurderingen baserer seg på industriens beste praksis og omfattende erfaring med systemer som kan være kritiske for liv og helse.

Formål

Uavhengig verifikasjon og validering av programvare (ISVV – Independent Software Verification and Validation) er en fagdisiplin som reduserer risiko, forbedrer kvaliteten og reduserer livsløpskostnadene for programvare. Vår uavhengighet bidrar også til økt tiltro blant kunder, eiere, brukere, myndigheter og andre interessenter.

Fordeler

• Ingen rollekonflikt: Det er sannsynlig at enhver person eller organisasjon vil oppdage at deres aktiviteter kan føre til motstridende behov og interesser. Ved å ha et klart skille mellom roller og ansvar, sikrer du at slike konflikter ikke oppstår. Dette gir økt tiltro blant interessenter.

• Forskjellige synsvinkler: Ulike personer utarbeider og fortolker informasjon på forskjellige måter. Mens de som utvikler programvaren fokuserer på å møte krav til funksjonalitet, kan andre identifisere utelatelser, tvetydigheter, faktiske feil og logiske feil.

• Effektivitet og produktivitet: Ansatte som har spesialisert seg på uavhengig verifikasjon og validering av programvare, utvikler en teknisk kompetanse og erfaring som bør føre til mer effektivt og produktivt arbeid, fordi dette nødvendiggjør bruk av sofistikerte verktøy.
  

ISVV-prosessen

Aktiviteter i ISVV-prosessen er:

• Kritikalitetsanalyse
  • Identifisering av de mest kritiske funksjonene, for å styre innsatsen i videre analyser
• Verifikasjon av programvarens kravspesifikasjon
• • Konsistenssjekk mot systemnivåkrav
  • Sjekklistbasert verifikasjon for å avdekke typiske feil og utelatelser
  • Kravmodellering
• Verifikasjon av programvaredesign
• • Konsistenssjekk på programvarekrav og grensesnitt
  • Gjennomgang av design-sjekklister
  • Analyse av sanntidsegenskaper
• Kodeverifikasjon
  • Manuell analyse av kritisk kode
  • Automatisk, verktøybasert statistisk analyse av all kildekode
• Validering
  • Utarbeidelse av tester som kommer i tillegg til leverandørens egen testing