Статичка верификација

Садржај

• Дефиниција - Шта значи статичка верификација?
• Увод у Мицрософт Азуре и Мицрософт Цлоуд | Кроз овај водич научићете о томе шта се рачуна у облаку и како вам Мицрософт Азуре може помоћи да мигрирате и покренете посао из облака.
• Техопедиа објашњава статичку верификацију

Дефиниција - Шта значи статичка верификација?

Статичка верификација је анализа рачунарског кода како би се осигурало да се поштују стандардне праксе кодирања без потребе за покретањем програма. Анализа се врши на неким верзијама изворног кода и омогућава програмерима да уклањају погрешку новог кода и открију потенцијалне грешке у компајлираном коду.

Увод у Мицрософт Азуре и Мицрософт Цлоуд | Кроз овај водич научићете о томе шта се рачуна у облаку и како вам Мицрософт Азуре може помоћи да мигрирате и покренете посао из облака.

Техопедиа објашњава статичку верификацију

Статичка верификација се широко користи у софтверу за рачунарске системе који су критични за сигурност. Кључне технологије које се користе у статичкој верификацији су статичка анализа времена и провера еквиваленције. Време и функционална верификација у статичком протоку за верификацију су одвојени и паралелно се покрећу. Статичка анализа времена омогућава провјеру времена, док провјера еквиваленције провјерава функционалну еквивалентност двије верзије истог круга као и пројектне љествице кроз различите трансформације, као што су преусмјеравање, усмјеравање и постављање ланца скенирања.

Неколико техника имплементације статичке провјере су анализа протока података, провјера модела, интерпретација апстракције и употреба тврдњи.

Алати који се углавном користе за статичку верификацију укључују Сонар, Иасца, детектор копирања / пасте, Стилецоп, ФкЦоп, БЛАСТ, Цланг, Линт и Цхецкстиле.