Content
- Definició: què significa la verificació estàtica?
- Una introducció a Microsoft Azure i al Microsoft Cloud | Durant aquesta guia, podreu conèixer què és la informàtica en núvol i com Microsoft Azure us pot ajudar a migrar i executar el vostre negoci des del núvol.
- Techopedia explica la verificació estàtica
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 haver 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.
Una introducció a Microsoft Azure i al Microsoft Cloud | Durant aquesta guia, podreu conèixer què és la informàtica en núvol i com Microsoft Azure us pot ajudar a migrar i executar el vostre negoci des del núvol.
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ó, l’encaminament i la col·locació de la cadena d’escaneig
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.