Sommario:
Definizione: che cosa significa verifica statica?
La verifica statica è un'analisi del codice del computer per garantire che le pratiche di codifica standard siano state rispettate senza dover eseguire il programma. Un'analisi viene eseguita su alcune versioni del codice sorgente e fornisce ai programmatori un modo per eseguire il debug del nuovo codice e rilevare potenziali errori nel codice compilato.
Techopedia spiega la verifica statica
La verifica statica è ampiamente utilizzata nei software per sistemi informatici critici per la sicurezza. Le tecnologie chiave utilizzate nella verifica statica sono l'analisi della temporizzazione statica e il controllo di equivalenza. I tempi e la verifica funzionale in un flusso di verifica statica sono separati ed eseguiti in parallelo. L'analisi della temporizzazione statica fornisce controlli di temporizzazione, mentre la verifica dell'equivalenza verifica l'equivalenza funzionale di due versioni dello stesso circuito delle scale di progettazione attraverso diverse trasformazioni come riordino, instradamento e posizionamento della catena di scansione.
Alcune tecniche di implementazione della verifica statica sono l'analisi del flusso di dati, il controllo del modello, l'interpretazione dell'astrazione e l'uso dell'asserzione.
Gli strumenti generalmente utilizzati per la verifica statica includono Sonar, Yasca, Rilevatore copia / incolla, Stylecop, FxCop, BLAST, Clang, Lint e Checkstyle.
