Solutions automatisées de débogage de logiciels

La détection des erreurs logicielles est l'une des questions les plus délicates en matière d'assurance qualité chez les fabricants de logiciels. Les erreurs logicielles peuvent être détectées avant ou après leur diffusion. Cependant, les ressources disponibles pour la détection et la correction des erreurs sont limitées [1]. Les erreurs sont généralement classées en deux catégories générales : les erreurs de syntaxe et les erreurs sémantiques. Comme il existe de nombreux outils automatisés puissants pour détecter les erreurs de syntaxe, il est très peu probable que de telles erreurs soient détectées au moment de la publication. Les erreurs sémantiques sont celles qui résultent de problèmes autres que des erreurs de syntaxe et des erreurs humaines tangibles et sont généralement causées par des incohérences dans différentes parties du code, parfois très intangibles. Dans de tels cas, ces erreurs ne peuvent pas être facilement détectées par l'examen du code. Cela n'est pas vrai pour les erreurs sémantiques, car de nombreux facteurs peuvent contribuer à leur apparition