Obsah:
Definícia - Čo znamená statické overenie?
Statické overenie je analýza počítačového kódu, aby sa zabezpečilo dodržiavanie štandardných postupov kódovania bez toho, aby sa musel program spúšťať. Analýza sa vykonáva na niektorých verziách zdrojového kódu a poskytuje programátorom spôsob ladenia nového kódu a zisťovania potenciálnych chýb v kompilovanom kóde.
Techopedia vysvetľuje statické overenie
Statické overovanie sa často používa v softvéri pre počítačové systémy s kritickým významom pre bezpečnosť. Kľúčové technológie používané pri statickom overovaní sú statická analýza časovania a kontrola ekvivalencie. Časovanie a funkčné overenie v statickom overovacom toku sú oddelené a prebiehajú paralelne. Statická analýza časovania poskytuje kontroly časovania, zatiaľ čo kontrola ekvivalencie overuje funkčnú rovnocennosť dvoch verzií toho istého obvodu ako návrhové škály prostredníctvom rôznych transformácií, ako je zmena poradia reťazca, smerovanie a umiestnenie reťazcov skenovania.
Niekoľko implementačných techník statického overovania je analýza toku údajov, kontrola modelu, interpretácia abstrakcie a použitie tvrdení.
Medzi nástroje, ktoré sa všeobecne používajú na statické overovanie, patria Sonar, Yasca, detektor kopírovania / vkladania, Stylecop, FxCop, BLAST, Clang, Lint a Checkstyle.
