Índice:
Definição - O que significa Verificação Estática?
A verificação estática é uma análise do código do computador para garantir que as práticas de codificação padrão sejam seguidas sem a necessidade de executar o programa. Uma análise é realizada em algumas versões do código-fonte e fornece uma maneira para os programadores depurarem novo código e detectarem possíveis erros no código compilado.
Techopedia explica a verificação estática
A verificação estática é amplamente usada em software para sistemas de computadores críticos para a segurança. As principais tecnologias usadas na verificação estática são a análise de tempo estático e a verificação de equivalência. O tempo e a verificação funcional em um fluxo de verificação estático são separados e executados em paralelo. A análise de tempo estático fornece verificações de tempo, enquanto a verificação de equivalência verifica a equivalência funcional de duas versões do mesmo circuito, à medida que o projeto é escalado por diferentes transformações, como reordenação, roteamento e posicionamento da cadeia de varredura.
Algumas técnicas de implementação da verificação estática são análise de fluxo de dados, verificação de modelo, interpretação de abstração e uso de asserções.
As ferramentas geralmente usadas para verificação estática incluem Sonar, Yasca, detector de copiar / colar, Stylecop, FxCop, BLAST, Clang, Lint e Checkstyle.
