Que signifie "Exécution Concolique"?

Table des matières

L'exécution concolique est une méthode utilisée en programmation pour tester des logiciels. Elle combine deux approches : l'exécution concrète et l'exécution symbolique.

En gros, ça fait tourner un programme avec des vraies valeurs d'entrée (exécution concrète) tout en suivant le comportement du programme avec des valeurs générales (exécution symbolique). Ça aide à trouver des bogues et des problèmes en vérifiant comment différentes parties du programme fonctionnent ensemble.

Quand on l'applique, l'exécution concolique génère des chemins à travers le code, permettant aux testeurs de voir les différentes façons dont le programme peut se comporter. C'est utile pour repérer des problèmes qui pourraient ne pas apparaître avec des méthodes de test classiques. Ça aide à s'assurer que les programmes, comme les applis web et les contrats intelligents, fonctionnent comme il faut et sont à l'abri des vulnérabilités.