Contente
- Definição - O que significa Verificação Estática?
- Uma introdução ao Microsoft Azure e Microsoft Cloud | Neste guia, você aprenderá sobre o que é a computação em nuvem e como o Microsoft Azure pode ajudá-lo a migrar e administrar seus negócios a partir da nuvem.
- Techopedia explica a verificação estática
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.
Uma introdução ao Microsoft Azure e Microsoft Cloud | Neste guia, você aprenderá sobre o que é a computação em nuvem e como o Microsoft Azure pode ajudá-lo a migrar e administrar seus negócios a partir da nuvem.
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 através de transformações diferentes, 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.