Innehållsförteckning:
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.
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.
