Solues automatizadas de depurao de software

A deteco de erros de software uma das questes mais desafiadoras na garantia de qualidade dos fabricantes de software. Os erros de software podem ser detectados antes ou depois do seu lanamento. Contudo, existem recursos limitados para a deteco e correo de erros [1]. Os erros geralmente se enquadram em duas categorias gerais: erros de sintaxe e erros semnticos. Como existem tantas ferramentas automatizadas poderosas para detectar erros de sintaxe, muito improvvel que tais erros sejam detectados at o momento de sua liberao. Os erros semnticos so aqueles que ocorrem como resultado de problemas que no sejam erros de sintaxe e erros humanos tangveis e so geralmente causados por inconsistncias em diferentes partes do cdigo, s vezes muito intangveis. Nesses casos, tais erros no podem ser facilmente detectados pela reviso do cdigo. Isto no verdade para os erros semnticos porque muitos fatores podem contribuir para a ocorrncia de tais erros