Tartalom
- Meghatározás - Mit jelent a statikus ellenőrzés?
- Bevezetés a Microsoft Azure és a Microsoft Cloud | A jelen útmutató során megtanulja, hogy mi a lényeg a felhőalapú számítástechnikában, és hogyan segítheti a Microsoft Azure a felhőből történő migrációt és az üzleti vállalkozás futtatását.
- A Techopedia magyarázza a statikus ellenőrzést
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.
Bevezetés a Microsoft Azure és a Microsoft Cloud | A jelen útmutató során megtanulja, hogy mi a lényeg a felhőalapú számítástechnikában, és hogyan segítheti a Microsoft Azure a felhőből történő migrációt és az üzleti vállalkozás futtatását.
A Techopedia magyarázza a statikus ellenőrzést
A statikus hitelesíté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ési ellenőrzéseket nyújt, 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ás és elhelyezés.
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.