Obsah
- Definice - Co znamená statické ověření?
- Úvod do Microsoft Azure a Microsoft Cloud | V této příručce se dozvíte, o čem cloud computing je a jak vám může Microsoft Azure pomoci migrovat a řídit podnikání z cloudu.
- Techopedia vysvětluje statické ověření
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.
Úvod do Microsoft Azure a Microsoft Cloud | V této příručce se dozvíte, o čem cloud computing je a jak vám může Microsoft Azure pomoci migrovat a řídit podnikání z cloudu.
Techopedia vysvětluje statické ověření
Statické ověření je široce používáno v softwaru pro bezpečnostní systémy kritických počítačů. 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ů skenování, směrování a umístě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 kopírování / vkládání, Stylecop, FxCop, BLAST, Clang, Lint a Checkstyle.