Obsah:
Definice - Co znamená statické ověření?
Statické ověření je analýza počítačového kódu, která zajišťuje, že byly dodržovány standardní postupy kódování, aniž by bylo nutné program spouštět. Analýza je prováděna na některých verzích zdrojového kódu a poskytuje programátorům možnost ladit nový kód a detekovat možné chyby v kompilovaném kódu.
Techopedia vysvětluje statické ověření
Statické ověření je široce používáno v softwaru pro bezpečnostní systémy kritické pro počítače. Klíčovými technologiemi používanými při statickém ověřování jsou statická analýza časování a kontrola ekvivalence. Načasování a funkční ověření ve statickém ověřovacím toku jsou odděleny a spuštěny paralelně. Statická analýza časování poskytuje kontroly časování, zatímco kontrola ekvivalence ověřuje funkční ekvivalenci dvou verzí stejného obvodu jako návrhové stupnice prostřednictvím různých transformací, jako je změna pořadí řetězců, směrování a umístění řetězců skenování.
Několik implementačních technik statického ověření je analýza toku dat, kontrola modelu, interpretace abstrakce a použití tvrzení.
Mezi nástroje obvykle používané pro statické ověření patří Sonar, Yasca, detektor kopie / vložení, Stylecop, FxCop, BLAST, Clang, Lint a Checkstyle.
