Soluções automatizadas de depuração de software

A detecção de erros de software é uma das questões mais desafiadoras na garantia de qualidade dos fabricantes de software. Os erros de software podem ser detectados antes ou depois do seu lançamento. Contudo, existem recursos limitados para a detecção e correção de erros [1]. Os erros geralmente se enquadram em duas categorias gerais: erros de sintaxe e erros semânticos. Como existem tantas ferramentas automatizadas poderosas para detectar erros de sintaxe, é muito improvável que tais erros sejam detectados até o momento de sua liberação. Os erros semânticos são aqueles que ocorrem como resultado de problemas que não sejam erros de sintaxe e erros humanos tangíveis e são geralmente causados por inconsistências em diferentes partes do código, às vezes muito intangíveis. Nesses casos, tais erros não podem ser facilmente detectados pela revisão do código. Isto não é verdade para os erros semânticos porque muitos fatores podem contribuir para a ocorrência de tais erros