Taula de continguts:
Definició: què significa la verificació estàtica?
La verificació estàtica és una anàlisi del codi informàtic per assegurar-se que s’han complert les pràctiques de codificació estàndard sense necessitat d’executar el programa. Es fa una anàlisi en algunes versions del codi font i proporciona una manera perquè els programadors puguin depurar nou codi i detectar possibles errors en el codi compilat.
Techopedia explica la verificació estàtica
La verificació estàtica s'utilitza àmpliament en el programari per a sistemes informàtics crítics per a la seguretat. Les tecnologies clau utilitzades en la verificació estàtica són l’anàlisi de cronometrada estàtica i la verificació d’equivalència. La sincronització i la verificació funcional en un flux de verificació estàtica es separen i s’executen en paral·lel. L’anàlisi estàtica de la sincronització proporciona comprovacions de cronometratge, mentre que la comprovació d’equivalència verifica l’equivalència funcional de dues versions del mateix circuit com a escales de disseny mitjançant diferents transformacions com ara la reordenació de la cadena d’escaneig, l’encaminament i la col·locació.
Algunes tècniques d’implementació de verificació estàtica són l’anàlisi del flux de dades, la verificació de models, la interpretació d’abstracció i l’ús d’assertions.
Les eines generalment utilitzades per a la verificació estàtica inclouen Sonar, Yasca, Detector de còpia / enganxa, Stylecop, FxCop, BLAST, Clang, Lint i Checkstyle.
