Tartalomjegyzék:
Meghatározás - Mit jelent a statikus ellenőrzés?
A statikus ellenőrzés a számítógépes kód elemzése annak biztosítása érdekében, hogy a szabványos kódolási gyakorlatokat betartották a program futtatása nélkül. Elemzést végeznek a forráskód néhány verzióján, és ez lehetőséget ad a programozók számára az új kód hibakeresésére és a lefordított kód lehetséges hibáinak felismerésére.
A Techopedia magyarázza a statikus ellenőrzést
A statikus ellenőrzést széles körben használják a biztonság szempontjából kritikus számítógépes rendszerek szoftverében. A statikus ellenőrzésben alkalmazott kulcsfontosságú technológiák a statikus időzítés elemzése és az ekvivalencia ellenőrzése. Az időzítést és a funkcionális hitelesítést statikus ellenőrző folyamatban elválasztják és párhuzamosan futtatják. A statikus időzítési elemzés időzítés-ellenőrzést biztosít, míg az egyenértékűség-ellenőrzés ugyanazon áramkör két verziójának funkcionális egyenértékűségét ellenőrzi a tervezési skálákkal különböző átalakítások révén, például a szkennelési lánc átrendezése, útválasztása és elhelyezése.
A statikus ellenőrzés néhány megvalósítási technikája az adatáramlás elemzése, a modell ellenőrzése, az absztrakció értelmezése és az állítások felhasználása.
Az általában a statikus ellenőrzéshez használt eszközök közé tartozik a Sonar, Yasca, Copy / paste detektor, Stylecop, FxCop, BLAST, Clang, Lint és Checkstyle.
