| Checker degli errori statici della vespe Se il programma Java è stato assegnato accuratamente testato, ma ancora è stato incline ad errori, l'analizzatore della vespa può aiutare a rilevare sottili errori di runtime e punti deboli nel programma. I seguenti tipi di errori possono essere |
Scarica ora |
Checker degli errori statici della vespe Classifica e riepilogo
- Dimensione del file:
- 1.22 MB
Checker degli errori statici della vespe Tag
Checker degli errori statici della vespe Descrizione
L'analizzatore della vespa rileva staticamente i sottili errori di runtime e punti deboli in un codice sorgente Java. I seguenti tipi di errori possono essere rilevati: Eccezione del puntatore null, cast impermissible, Indice di array fuori limite, divisione per zero, ecc. I seguenti tipi di punti deboli possono essere rilevati: Uso della variabile non inizializzata, ramo irraggiungibile in dichiarazione condizionale o switch, Corpo del loop non raggiungibile o clausola cattura, Assegnazione della variabile il cui valore non viene mai utilizzato, completamento anormale del metodo, ecc. WASP produce un grafico di chiamata dettagliato e preciso. Il grafico della chiamata del metodo di un programma aiuta a sapere per ogni metodo Quali metodi effettivi sono chiamati nel suo corpo. Inoltre, per ogni metodo potresti sapere dove può essere chiamato questo metodo. Metodo Le chiamate grafici prodotti altri strumenti esistenti sono preventivamente dovuti alle analisi deboli applicate. In confronto con altri analizzatori di errori statici, WASP ha due importanti vantaggi. WASP è in grado di distinguere tra un errore definito, un possibile errore (avviso) e una situazione potenzialmente errata. In quest'ultimo caso, la vespa produce un messaggio chiamato Errore condizionale che nella pratica sembra indicare un errore in circa un caso da cinque. WASP esegue l'analisi del flusso di dati sensibile al contesto, Quindi è in grado di riconoscere un errore che appare solo per alcune chiamate del metodo contenente, ma non per altri. Così, Wasp maneggia situazioni di alta complessità. Tutti noti agli analizzatori statici degli Stati Uniti (E.G. QStudio Java, Metamata Audit, ecc.) che rilevano staticamente gli errori di runtime possono produrre solo lunghe liste di avvertimenti perché loro non può riconoscere errori definiti in un programma a causa di debole analisi applicate. Un utente deve sprecare molto tempo per analizzare tutti gli avvertimenti. La vespa ha dimostrato la sua capacità di trovare vibrazioni sottili nei programmi dopo il debug e testare le fasi di sviluppo, perché Wasp rileva situazioni di reale complessità.
Checker degli errori statici della vespe Software correlato