Solutions automatises de dbogage de logiciels

La dtection des erreurs logicielles est l'une des questions les plus dlicates en matire d'assurance qualit chez les fabricants de logiciels. Les erreurs logicielles peuvent tre dtectes avant ou aprs leur diffusion. Cependant, les ressources disponibles pour la dtection et la correction des erreurs sont limites [1]. Les erreurs sont gnralement classes en deux catgories gnrales : les erreurs de syntaxe et les erreurs smantiques. Comme il existe de nombreux outils automatiss puissants pour dtecter les erreurs de syntaxe, il est trs peu probable que de telles erreurs soient dtectes au moment de la publication. Les erreurs smantiques sont celles qui rsultent de problmes autres que des erreurs de syntaxe et des erreurs humaines tangibles et sont gnralement causes par des incohrences dans diffrentes parties du code, parfois trs intangibles. Dans de tels cas, ces erreurs ne peuvent pas tre facilement dtectes par l'examen du code. Cela n'est pas vrai pour les erreurs smantiques, car de nombreux facteurs peuvent contribuer leur apparition