Capitolo 13 Verifica e debug Lucidi relativi al volume: Java – Guida alla programmazione James Cohoon, Jack Davidson Copyright © 2004 - The McGraw-Hill Companies srl Java – Guida alla programmazione - James Cohoon, Jack Davidson Copyright © 2004 - The McGraw-Hill Companies srl Nozioni fondamentali sulla verifica Verifica durante lo sviluppo È più facile individuare i bug prima che dopo I prototipi aiutano a identificare prima i problemi Categorie di bug Arresti anomali del software o danneggiamento dei dati Incapacità di soddisfare le specifiche Prestazioni scarse o inaccettabili Difficoltà di utilizzo Java – Guida alla programmazione - James Cohoon, Jack Davidson Copyright © 2004 - The McGraw-Hill Companies srl Nozioni fondamentali sulla verifica Impossibilità di verificare completamente un programma Tre percorsi distinti attraverso il programma Se il ciclo viene eseguito 20 volte, vi sono 320 sequenze di esecuzione diverse Java – Guida alla programmazione - James Cohoon, Jack Davidson Copyright © 2004 - The McGraw-Hill Companies srl Revisioni e ispezioni Ispezioni Processo formale di revisione del codice Impiegato per la prima volta da IBM nel 1976 Il lavoro precedente ha mostrato che la progettazione e le ispezioni rimuovono il 60% dei bug in un prodotto Java – Guida alla programmazione - James Cohoon, Jack Davidson Copyright © 2004 - The McGraw-Hill Companies srl Revisioni e ispezioni Ruoli dei partecipanti Moderatore Esegue l'ispezione Assicura che il processo continui Riferisce la discussione Assicura lo svolgimento delle azioni Ispettore Una persona diversa dall'autore Interesse nel codice Rivede attentamente il codice prima della riunione di ispezione Autore Ruolo minore Può rispondere a domande sul codice Java – Guida alla programmazione - James Cohoon, Jack Davidson Copyright © 2004 - The McGraw-Hill Companies srl Revisioni e ispezioni Ruoli dei partecipanti Scrittore Registra tutti gli errori rilevati Tiene un elenco delle azioni Java – Guida alla programmazione - James Cohoon, Jack Davidson Copyright © 2004 - The McGraw-Hill Companies srl Revisioni e ispezioni Processo di ispezione Pianificazione Scelta del codice da rivedere Assegnazione dei compiti da parte del moderatore Creazione degli elenchi di controllo Assegnazione di un presentatore da parte del moderatore (solitamente uno degli ispettori) Panoramica L'autore descrive gli aspetti di alto livello del progetto che influiscono sulla progettazione o sul codice A volte viene ignorata (se tutti i partecipanti conoscono già le questioni) Java – Guida alla programmazione - James Cohoon, Jack Davidson Copyright © 2004 - The McGraw-Hill Companies srl Revisioni e ispezioni Processo di ispezione Preparazione Lavorando individualmente, ogni ispettore rivede il codice, annotando problemi e questioni Non deve richiedere più di un paio d'ore Riunione di ispezione Il presentatore guida nel codice I problemi vengono discussi Lo scrittore registra tutti gli errori e le azioni Gli errori non vengono risolti, per ora Rapporto di ispezione Il moderatore prepara un rapporto scritto Java – Guida alla programmazione - James Cohoon, Jack Davidson Copyright © 2004 - The McGraw-Hill Companies srl Test della scatola nera e bianca Il test della scatola bianca indica che è possibile "vedere" o esaminare il codice durante lo sviluppo dei casi di verifica Il test della scatola nera indica che non è possibile esaminare il codice durante l'ideazione dei casi di verifica La vista del codice può influenzare i casi di verifica creati Obbliga i collaudatori a utilizzare le specifiche, piuttosto che il codice Tecniche complementari Java – Guida alla programmazione - James Cohoon, Jack Davidson Copyright © 2004 - The McGraw-Hill Companies srl Test della scatola nera e bianca Condizioni di confine dei test public static int binarySearch(char[] data, char key) { int left = 0; int right = data.length - 1; while (left <= right) { int mid = (left + right)/2; if (data[mid] == key) { return mid; } else if (data[mid] < key) { left = mid + 1; } else { right = mid - 1; } } return data.length; } Java – Guida alla programmazione - James Cohoon, Jack Davidson Copyright © 2004 - The McGraw-Hill Companies srl Test della scatola nera e bianca Condizioni di confine // convalida l'input if ((year < CALENDAR_START) || (month < 1) || (month > 12)) { System.output.println("Bad request: " + year + "" + month); return; } Java – Guida alla programmazione - James Cohoon, Jack Davidson Copyright © 2004 - The McGraw-Hill Companies srl Test della scatola nera e bianca Suggerisce i seguenti test di confine Anno di input Mese di input 1582 2 1583 0 1583 13 1583 1 1583 12 Java – Guida alla programmazione - James Cohoon, Jack Davidson Copyright © 2004 - The McGraw-Hill Companies srl Test della scatola nera e bianca Copertura o test del percorso: creare casi di verifica che provochino l'esecuzione di ogni confine del grafico relativo al flusso di controllo del programma Esempio if (x != y) { y = 5; if (x != 3) y=5 z=z-x } else { z = z - z; if (x != 3) } if (x > 1) { z = z / x; } else { z = 0; } y=5 y=5 Java – Guida alla programmazione - James Cohoon, Jack Davidson Copyright © 2004 - The McGraw-Hill Companies srl Test della scatola nera e bianca Suggerimenti per la verifica Eseguire subito i test Utilizzare l'ispezione Verificare i confini Verificare le condizioni eccezionali Fare in modo che i test siano facilmente ripetibili Java – Guida alla programmazione - James Cohoon, Jack Davidson Copyright © 2004 - The McGraw-Hill Companies srl Verifica dell'integrazione e del sistema La verifica dell'integrazione viene svolta durante l'assemblaggio di componenti o moduli. Tenta di garantire che le parti funzionino insieme correttamente Verifica le interfacce tra i moduli La verifica del sistema avviene quando l'intero sistema viene messo insieme Java – Guida alla programmazione - James Cohoon, Jack Davidson Copyright © 2004 - The McGraw-Hill Companies srl Debug Utilizzare il metodo scientifico Raccogliere i dati Sviluppare un'ipotesi Eseguire esperimenti Predire nuovi fattori Eseguire esperimenti Provare o smentire le ipotesi Java – Guida alla programmazione - James Cohoon, Jack Davidson Copyright © 2004 - The McGraw-Hill Companies srl Debug Suggerimenti e tecniche Semplificare il problema Stabilizzare l'errore Individuare l'errore Spiegare il bug a qualcun altro Riconoscere i bug comuni Superamento dell'indice Dereferenziamento di null Ricompilare tutto Raccogliere ulteriori informazioni Prestare attenzione agli avvisi del compilatore Correggere i bug individuati Prendersi una pausa