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 tenham sido 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 novos códigos e detectarem possíveis erros no código compilado.
Definirtec explica a verificação estática
A verificação estática é amplamente usada em software para sistemas de computador críticos para a segurança. As principais tecnologias usadas na verificação estática são a análise de tempo estática e a verificação de equivalência. A verificação de temporização e funcional em um fluxo de verificação estática são separadas e executadas em paralelo. A análise de temporização estática fornece verificações de temporização, enquanto a verificação de equivalência verifica a equivalência funcional de duas versões do mesmo circuito à medida que o projeto é dimensionado por meio de transformações diferentes, como reordenamento da cadeia de varredura, roteamento e posicionamento.
Algumas técnicas de implementação de 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ção.
As ferramentas geralmente usadas para verificação estática incluem Sonar, Yasca, detector de copiar / colar, Stylecop, FxCop, BLAST, Clang, Lint e Checkstyle.