Innehåll
- Definition - Vad betyder statisk verifiering?
- En introduktion till Microsoft Azure och Microsoft Cloud | I hela denna guide kommer du att lära dig vad cloud computing handlar om och hur Microsoft Azure kan hjälpa dig att migrera och driva ditt företag från molnet.
- Techopedia förklarar statisk verifiering
Definition - Vad betyder statisk verifiering?
Statisk verifiering är en analys av datorkod för att säkerställa att standardkodningspraxis har följts utan att behöva köra programmet. En analys utförs på vissa versioner av källkoden och ger ett sätt för programmerare att felsöka ny kod och upptäcka eventuella fel i sammanställd kod.
En introduktion till Microsoft Azure och Microsoft Cloud | I hela denna guide kommer du att lära dig vad cloud computing handlar om och hur Microsoft Azure kan hjälpa dig att migrera och driva ditt företag från molnet.
Techopedia förklarar statisk verifiering
Statisk verifiering används ofta i programvara för säkerhetskritiska datorsystem. De viktigaste teknikerna som används vid statisk verifiering är statisk tidsanalys och ekvivalenskontroll. Tidtagning och funktionell verifiering i ett statiskt verifieringsflöde separeras och körs parallellt. Statisk timinganalys ger timingkontroller, medan ekvivalenskontroll verifierar den funktionella ekvivalensen för två versioner av samma krets som konstruktionsskalor genom olika transformationer, såsom omföring av skanningskedjan, routing och placering.
Några implementeringstekniker för statisk verifiering är dataflödesanalys, modellkontroll, abstraktionstolkning och påstående användning.
Verktyg som vanligtvis används för statisk verifiering inkluderar Sonar, Yasca, Copy / paste detector, Stylecop, FxCop, BLAST, Clang, Lint och Checkstyle.