Test strutturale di programmi procedurali e orientati agli oggetti, sequenziali e concorrenti
Autore
Simone Laico - Università degli Studi di Padova - [1998-99]
Documenti
Abstract
Il Test di unità, nello sviluppo di un sistema software, rappresenta il primo stadio del processo di test. Obiettivo del test è la prevenzione e la rilevazione dei difetti (faults)che determinano le deviazioni del programma dal comportamento atteso. In questa tesi l'obiettivo di rilevare difetti in ogni modulo costituente il sistema viene raggiunto attraverso l'analisi dei possibili cammini di esecuzione associati al flusso dati effettuando il test def-use, che consiste nella verifica di copertura delle catene definizione-uso del programma in esame. Scopo della tesi è la valutazione del test def-use nella rilevazione dei difetti logici presenti in moduli procedurali (C) e concorrenti (Java) con l'impiego del programma DefUseChecker appositamente implementato. I risultati raggiunti rivelano l'efficacia del test def-use nella rilevazione dei difetti logici, come i controlli ridondanti nei programmi procedurali e la potenzialità espressa dall'inserimento degli Interleavings-Control nella individuazione di errori di sincronizzazione nei programmi concorrenti.
Questa tesi è correlata alla categoria
segnala questa pagina ::.