Indholdsfortegnelse:
Definition - Hvad betyder statisk verifikation?
Statisk verifikation er en analyse af computerkode for at sikre, at standardkodningspraksis er overholdt uden at skulle køre programmet. En analyse udføres på nogle versioner af kildekoden og giver en måde for programmerere at fejlsøge ny kode og registrere potentielle fejl i kompileret kode.
Techopedia forklarer statisk verifikation
Statisk verifikation er vidt brugt i software til sikkerhedskritiske computersystemer. De vigtigste teknologier, der bruges i statisk verifikation, er statisk timinganalyse og ækvivalenskontrol. Timing og funktionel verifikation i en statisk verifikationsstrøm adskilles og køres parallelt. Statisk timinganalyse giver timingchecks, mens ækvivalenskontrol verificerer den funktionelle ækvivalens af to versioner af det samme kredsløb som designskalaer gennem forskellige transformationer, såsom scanningskædenes omplacering, routing og placering.
Et par implementeringsteknikker til statisk verifikation er dataflowanalyse, modelkontrol, fortolkning af abstraktion og påstand om anvendelse.
Værktøjer, der normalt bruges til statisk verifikation, inkluderer Sonar, Yasca, Copy / paste-detektor, Stylecop, FxCop, BLAST, Clang, Lint og Checkstyle.
