Cuprins:
Definiție - Ce înseamnă verificarea statică?
Verificarea statică este o analiză a codului computerului pentru a vă asigura că au fost respectate practicile de codare standard fără a fi nevoie să rulați programul. O analiză este efectuată pe unele versiuni ale codului sursă și oferă o modalitate pentru programatori de a debugna cod nou și de a detecta erorile potențiale din codul compilat.
Techopedia explică verificarea statică
Verificarea statică este utilizată pe scară largă în software-ul pentru sisteme de calcul critice pentru siguranță. Tehnologiile cheie utilizate în verificarea statică sunt analiza sincronizării statice și verificarea echivalenței. Cronometrarea și verificarea funcțională într-un flux de verificare statică sunt separate și rulate în paralel. Analiza de sincronizare statică asigură verificări de cronometrare, în timp ce verificarea echivalenței verifică echivalența funcțională a două versiuni ale aceluiași circuit ca scări de proiectare prin transformări diferite, cum ar fi reordonarea lanțului de scanare, rutarea și plasarea.
Câteva tehnici de implementare a verificării statice sunt analiza fluxului de date, verificarea modelului, interpretarea abstractizării și utilizarea afirmațiilor.
Instrumentele utilizate în general pentru verificarea statică includ Sonar, Yasca, Detector de copiere / lipire, Stylecop, FxCop, BLAST, Clang, Lint și Checkstyle.
