Analyse statique de code
Vérification automatisée du code source à la recherche d’erreurs et de risques, sans exécuter le programme.
L’analyse statique de code vérifie automatiquement le code source à la recherche d’erreurs possibles, de risques de sécurité et d’écarts par rapport aux conventions de programmation, sans exécuter le programme. Des outils comme PHPStan, ESLint ou SonarQube évaluent pour cela la structure du code et les signatures typées, et signalent des anomalies telles que du code inatteignable, des types erronés ou des appels de fonctions dangereux.
Comme l’analyse fonctionne sans environnement d’exécution, elle détecte aussi des problèmes qui ne surviendraient que dans de rares chemins d’exécution et que les tests classiques manquent facilement. Elle ne remplace toutefois pas les tests, mais les complète par une autre classe d’erreurs.
À quoi Provimedia l'utilise
Provimedia exécute l’analyse statique de code automatiquement à chaque commit afin de détecter les erreurs structurelles avant la livraison.
Utiliser Analyse statique de code pour votre projet ?
Découvrons lors d'un entretien gratuit comment nous pouvons le mettre en œuvre pour vous.
Plus dans Qualité logicielle
Clean Code
Principe directeur pour un code conçu pour être compris par des humains et pas seulement par le compilateur.
En savoir plusRevue de code
Examen systématique du code par d’autres développeurs avant sa fusion dans la branche principale.
En savoir plusCode Smell
Motif remarquable dans le code qui n’est pas forcément faux, mais qui révèle un problème plus profond.
En savoir plusDefinition of Done
Liste écrite de critères convenue en équipe, qu’une tâche doit remplir pour être considérée comme terminée.
En savoir plusLinting
Vérification automatisée du code pour détecter des erreurs de style et de mise en forme selon des règles fixes.
En savoir plusTest de mutation
Procédé qui introduit volontairement de petites erreurs dans le code afin de vérifier la pertinence des tests.
En savoir plusQuality Gate
Étape de contrôle du pipeline de développement qui ne laisse passer une modification que si des critères fixes sont remplis.
En savoir plusRefactoring
Restructuration ciblée du code existant sans en modifier le comportement externe.
En savoir plus