Em relação as ferramentas de testes automatizado as ferramentas que possibilitam apoiar o processo de verificação do software e que apresentam como principais características: a análise da complexidade, a compreensão do código e a análise sintática e semântica do código. São classificadas como ferramentas: