Una tecnica per il test interclasse

Il software orientato agli oggetti presenta nuove caratteristiche, sia nella metodologia di sviluppo sia nei costrutti propri dei linguaggi utilizzati, che introducono nuove categorie di difetti e richiedono apposite tecniche per l’analisi e il collaudo del software oggetto del test.
In questa tesi viene presa in esame una tecnica di analisi intra- e inter-classe per la generazione automatica di casi di test per il test del software orientato agli oggetti. La tecnica esaminata, costruendo opportune sequenze di invocazioni ai metodi della classe, tenta di rivelare malfunzionamenti legati allo stato dell’oggetto, cioè comportamenti errati nell’esecuzione dei metodi che si manifestano quando l’istanza si trova in un determinato stato.
Il contributo originale della tesi consiste nell’estensione della tecnica esaminata al caso inter-classe e nella valutazione sperimentale sia della tecnica per il test intra-classe che dell’estensione per il test inter-classe. In particolare viene proposta una tecnica per la generazione di casi di test per il test di integrazione di un cluster di classi, tra le quali sussistano relazioni di aggregazione e dipendenza.
L’attività sperimentale ha comportato lo sviluppo di un prototipo che implementa il processo di generazione proposto dalla tecnica, integrando ed estendendo strumenti per l’analisi del flusso dei dati e per l’esecuzione simbolica sviluppati nell’ambito di altri progetti di ricerca.
La tesi illustra e analizza i risultati ottenuti con il prototipo sviluppato, valutando in particolare l’effettiva automatizzabilità della tecnica esaminata e la scalabilità dell’analisi proposta dalla tecnica interclasse al crescere del numero delle classi del cluster.