| Versão | 2 |
|---|---|
| Editor | SofCheck |
| Data de lançamento | 7 de nov. de 2008 |
| Data adicionada | 16 de jul. de 2007 |
| Os requisitos | Windows, Windows XP |
| Requisitos | Windows XP/2003 Server |
| Total de downloads | 357 |
| Preço | Free to try |
Descrição
SofCheck Inspector é uma ferramenta de análise estática que descobre erros em bytecodes Java. Ele usa técnicas de fluxo de controle estático, fluxo de dados e propagação de conjunto de valores possíveis (PVP) para identificar locais onde podem ocorrer erros de tempo de execução. Essa técnica de qualidade de software automatizada fornece 100% de cobertura de caminho e permite que falhas sejam identificadas e eliminadas muito cedo no ciclo de vida do software, antes do tempo de execução. 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 de caixa branca. Ele detecta condições de corrida, índice fora dos limites, estouros, divisão por zero, código morto, atribuições não utilizadas, testes sempre indo em uma direção ou exceções lançadas. Esta é uma versão de avaliação de 45 dias com suporte para até 200 aulas. O produto contém uma versão do JRE da Sun.
