Dispensa in PDF - Dipartimento di Scienze Ambientali, Informatica e ...

Analisi
Progetto
Test
Sviluppo
Fase 1
Analisi
Progetto
Test
Fase 2
Sviluppo
Figura 4.28. Divisione in fasi e refactoring.
Carnielli Efrem: Programmazione a componenti
Analisi
Progetto
Test
Fase 3
Sviluppo
Unified Software Process (USP)
……………………………
Ogni fase è al suo interno divisa in 4 microfasi: analisi, progettazione,
implementazione e test. Ogni macrofase prevede un ciclo continuo su queste
microfasi, finché non viene considerata termina e si passa quindi alla quella
successiva. Nell’eventualità si riscontrino degli errori tali da bloccare la
realizzazione di questa fase, è necessario fare qualche passo indietro e rielaborare
le macrofasi precedenti per risolvere gli errori. Il procedimento appena descritto è
chiamato refactoring.
In sostanza il programma viene diviso in tante parti più piccole (le macrofasi) ed
indipendenti tra loro, prestando attenzione al loro interfacciamento.
Devo aver un linguaggio che mi permette di fare questa divisione indipendente.
A questo scopo posso utilizzare la programmazione object oriented che consente la
suddivisione del problema in fasi più piccole e la realizzazione della metodologia
di sviluppo appena descritta. La granularità minima è l’oggetto cioè l’istanza di
ogni interfaccia.
La programmazione diventa una composizione di parti più piccole ed il problema
è fare in modo che queste parti, oltre ad essere corrette di per se, si comportino
correttamente anche quando vengono messe assieme in un tutt’uno.
4.3.3 Rispettare i contratti
Per fare in modo che queste parti funzionino bene assieme devo introdurre il
concetto di contratto.
Cominciamo col parlare di pre e post condizioni. Prendiamo una qualsiasi
operazione, generalizziamo un qualcosa che potrebbe essere una funzione, un
oggetto, ecct. Tale operazione deve essere preceduta da delle pre condizioni, cioè
delle condizioni preliminari che servono all’operazione, e seguita da post
condizioni, cioè condizioni successive allo svolgimento dell’operazione che
servono a chi chiama l’operazione.
L’operazione quindi diventa un invariante.
Facciamo un esempio. Consideriamo l’operazione aritmetica radice quadrata.
Possiamo vederla come una funzione dai reali positivi compreso lo zero, ai reali.
109