Conţinut
- Definiție - Ce înseamnă verificarea statică?
- O introducere în Microsoft Azure și Microsoft Cloud | În acest ghid, veți afla despre ce este vorba despre cloud computing și despre cum Microsoft Azure vă poate ajuta să migrați și să conduceți afacerea din cloud.
- Techopedia explică verificarea statică
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 un nou cod și de a detecta erorile potențiale ale codului compilat.
O introducere în Microsoft Azure și Microsoft Cloud | În acest ghid, veți afla despre ce este vorba despre cloud computing și despre cum Microsoft Azure vă poate ajuta să migrați și să conduceți afacerea din cloud.
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 cronică statică ș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.