SoftCheck Inspector

Descrizione

SofCheck Inspector è uno strumento di analisi statica che rileva gli errori nei bytecode Java. Utilizza tecniche di flusso di controllo statico, flusso di dati e propagazione del set di valori possibili (PVP) per identificare i punti in cui potrebbero verificarsi errori di runtime. Questa tecnica automatizzata di qualità del software fornisce una copertura del percorso del 100% e consente di identificare ed eliminare i difetti molto presto nel ciclo di vita del software, prima del runtime. Inspector genera precondizioni e postcondizioni che caratterizzano il comportamento del codice Java e sono utili per le ispezioni del codice white box. Rileva condizioni di gara, indici fuori limite, overflow, divisione per zero, codice morto, assegnazioni inutilizzate, test che vanno sempre in una direzione o eccezioni generate. Questa è una versione di prova di 45 giorni che supporta fino a 200 classi. Il prodotto contiene una versione di Sun's JRE.