Innholdsfortegnelse:
Definisjon - Hva betyr statisk bekreftelse?
Statisk verifisering er en analyse av datakode for å sikre at standard kodingspraksis er fulgt uten å måtte kjøre programmet. En analyse blir utført på noen versjoner av kildekoden og gir en måte for programmerere å feilsøke ny kode og oppdage potensielle feil i kompilert kode.
Techopedia forklarer statisk verifisering
Statisk verifisering er mye brukt i programvare for sikkerhetskritiske datasystemer. De viktigste teknologiene som brukes i statisk verifisering er statisk timinganalyse og ekvivalenskontroll. Tidspunkt og funksjonell verifisering i en statisk verifiseringsflyt skilles og kjøres parallelt. Statisk timinganalyse gir tidskontroller, mens ekvivalenskontroll verifiserer den funksjonelle ekvivalensen til to versjoner av den samme kretsen som designskalaer gjennom forskjellige transformasjoner, for eksempel omkjetting av skanningskjeder, ruting og plassering.
Noen få implementeringsteknikker for statisk verifisering er dataflytanalyse, modellkontroll, abstraksjonstolkning og påståelsesbruk.
Verktøy som vanligvis brukes til statisk verifisering inkluderer Sonar, Yasca, Copy / paste-detektor, Stylecop, FxCop, BLAST, Clang, Lint og Checkstyle.
