Code Coverage ajuda a avaliar a qualidade dos testes, analisando o código em tempo de execução.

Static Analysis analisa o código do programa enquanto é executado.

Branchandbound Analysis retira erros básicos do código desenvolvido.

Code Crossing ajuda a gerar massas de dados para teste.

Static Tracking ajuda a gerenciar bancos de dados com os defeitos encontrados.