Table des matières:
Définition - Que signifie la vérification statique?
La vérification statique est une analyse du code informatique pour s'assurer que les pratiques de codage standard ont été respectées sans avoir à exécuter le programme. Une analyse est effectuée sur certaines versions du code source et permet aux programmeurs de déboguer le nouveau code et de détecter les erreurs potentielles dans le code compilé.
Techopedia explique la vérification statique
La vérification statique est largement utilisée dans les logiciels pour les systèmes informatiques critiques pour la sécurité. Les technologies clés utilisées dans la vérification statique sont l'analyse de synchronisation statique et la vérification d'équivalence. La synchronisation temporelle et la vérification fonctionnelle dans un flux de vérification statique sont séparées et exécutées en parallèle. L'analyse de synchronisation statique fournit des vérifications de synchronisation, tandis que la vérification d'équivalence vérifie l'équivalence fonctionnelle de deux versions du même circuit à mesure que la conception évolue à travers différentes transformations telles que la réorganisation de la chaîne de balayage, le routage et le placement.
Quelques techniques de mise en œuvre de la vérification statique sont l'analyse du flux de données, la vérification des modèles, l'interprétation des abstractions et l'utilisation des assertions.
Les outils généralement utilisés pour la vérification statique sont Sonar, Yasca, détecteur de copier / coller, Stylecop, FxCop, BLAST, Clang, Lint et Checkstyle.
