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 un nouveau code et de détecter des erreurs potentielles dans le code compilé.
Definir Tech explique la vérification statique
La vérification statique est largement utilisée dans les logiciels des systèmes informatiques critiques pour la sécurité. Les technologies clés utilisées dans la vérification statique sont l'analyse temporelle statique et la vérification d'équivalence. La synchronisation 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 contrôles 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, le routage et le placement de la chaîne de balayage.
Quelques techniques de mise en œuvre de la vérification statique sont l'analyse de flux de données, la vérification de modèle, l'interprétation d'abstraction et l'utilisation d'assertions.
Les outils généralement utilisés pour la vérification statique comprennent Sonar, Yasca, détecteur de copier / coller, Stylecop, FxCop, BLAST, Clang, Lint et Checkstyle.