SofCheck Inspector è uno strumento di analisi statica che scopre gli errori in bytecode Java. Esso utilizza statico di controllo del flusso, del flusso di dati, e le tecniche di propagazione possibile valore-set (PVP) per identificare i luoghi in cui potrebbe verificarsi errori di esecuzione. Questa tecnica automatizzata della qualità del software offre una copertura del 100% e il percorso permette di difetti di essere identificati e eliminati molto presto nel ciclo di vita del software, prima di fase di esecuzione. Ispettore genera precondizioni e postcondizioni che caratterizzano il comportamento di codice Java e che sono utili per le ispezioni del codice scatola bianca. Rileva condizioni di gara, indice fuori dai limiti, trabocca, dividere per zero, codice morto, le assegnazioni non utilizzate, i test di andare sempre in un modo o eccezioni generate. Si tratta di una versione di 45 giorni di prova che supporta fino a 200 classi. Il prodotto contiene una versione di JRE di Sun
Requisiti .
Windows XP / 2003 Server
Limitazioni :
45 giorni
I commenti non trovato