SofCheck Inspector é uma ferramenta de análise estática que descobre erros em bytecodes Java. Ele usa a propagação possível valor de set-(PVP) técnicas de controle de fluxo estático, de fluxo de dados, e para identificar lugares onde erros de tempo de execução pode ocorrer. Esta técnica de qualidade de software automatizado fornece cobertura do trajeto de 100% e permite falhas a serem identificados e eliminados logo no início do ciclo de vida do software, antes de tempo de execução. Inspector gera pré-condições e pós-condições que caracterizam o comportamento do código Java e são úteis para inspeções de código caixa de brancos. Ele detecta as condições de corrida, índice fora dos limites, estouros, dividir por zero, código morto, atribuições não utilizados, os testes sempre indo para um lado, ou exceções lançadas. Esta é uma versão trial 45 dias suportando até 200 classes. O produto contém uma versão do JRE da Sun
Requisitos :.
Windows XP / Server 2003
Limitações :
45 dias
Comentários não encontrado