Geautomatiseerde software debugging-oplossingen

, Software foutopsporing is een van de meest uitdagende kwesties in de kwaliteitsborging bij softwarefabrikanten. Softwarefouten kunnen voor of na de release worden gedetecteerd. Er zijn echter beperkte middelen voor het opsporen en corrigeren van fouten [1]. Fouten vallen over het algemeen in twee algemene categorieën: syntaxfouten en semantische fouten. Aangezien er zoveel krachtige geautomatiseerde hulpmiddelen zijn voor het opsporen van syntaxfouten, is het zeer onwaarschijnlijk dat dergelijke fouten worden gedetecteerd tegen de tijd dat ze worden uitgebracht. Semantische fouten zijn fouten die optreden als gevolg van andere problemen dan syntaxfouten en tastbare menselijke fouten en worden meestal veroorzaakt door inconsistenties in verschillende delen van de code, soms zeer ongrijpbaar. In dergelijke gevallen kunnen dergelijke fouten niet gemakkelijk worden opgespoord met behulp van een code review. Dit geldt niet voor semantische fouten, omdat veel factoren kunnen bijdragen aan het ontstaan van dergelijke fouten