Преглед садржаја:
Дефиниција - Шта значи статичка верификација?
Статичка верификација је анализа рачунарског кода како би се осигурало да се поштују стандардне праксе кодирања без потребе за покретањем програма. Анализа се врши на неким верзијама изворног кода и омогућава програмерима да уклањају погрешку новог кода и открију потенцијалне грешке у компајлираном коду.
Техопедиа објашњава статичку верификацију
Статичка верификација се широко користи у софтверу за рачунарске системе који су критични за сигурност. Кључне технологије које се користе у статичкој верификацији су статичка анализа времена и провера еквиваленције. Време и функционална верификација у статичком протоку за верификацију су одвојени и паралелно се покрећу. Статичка анализа времена омогућава провјеру времена, док провјера еквиваленције провјерава функционалну еквивалентност двије верзије истог круга као и дизајнерске љествице кроз различите трансформације као што су преусмјеравање, усмјеравање и постављање ланца скенирања.
Неколико техника имплементације статичке провјере су анализа протока података, провјера модела, интерпретација апстракције и употреба тврдњи.
Алати који се углавном користе за статичку верификацију укључују Сонар, Иасца, детектор копирања / пасте, Стилецоп, ФкЦоп, БЛАСТ, Цланг, Линт и Цхецкстиле.
