Indhold
- Definition - Hvad betyder statisk verifikation?
- En introduktion til Microsoft Azure og Microsoft Cloud | Gennem denne vejledning lærer du, hvad cloud computing handler om, og hvordan Microsoft Azure kan hjælpe dig med at migrere og drive din virksomhed fra skyen.
- Techopedia forklarer statisk verifikation
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.
En introduktion til Microsoft Azure og Microsoft Cloud | Gennem denne vejledning lærer du, hvad cloud computing handler om, og hvordan Microsoft Azure kan hjælpe dig med at migrere og drive din virksomhed fra skyen.
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ædeordre, routing og placering.
Et par implementeringsteknikker til statisk verifikation er dataflowanalyse, modelkontrol, abstraktionstolkning og påstandsanvendelse.
Værktøjer, der generelt bruges til statisk verifikation, inkluderer Sonar, Yasca, Copy / paste-detektor, Stylecop, FxCop, BLAST, Clang, Lint og Checkstyle.