strategia big bang: integra il programma con tutti i sottoprogrammi e lo verifica nel suo insieme
pessima strategia per programmi grandi: difficile localizzare la funzione contenente il difetto in caso di malfunzionamento
strategie incrementali: testare e integrare un sottoprogramma alla volta, considerando la struttura delle chiamate tra sottoprogrammi (architettura del programma)
bottom up, top down, sandwich, ..
Verificare prima i sottoprogrammi terminali (più in basso) e poi via via quelli di livello superiore
Un sottoprogramma può essere verificato se tutti i sottoprogrammi che usa (chiama) sono stati verificati
Per ogni sottoprogramma da verificare è necessario costruire un programma main (driver) che: acquisisce i dati di ingresso necessari al sottoprogramma, invoca il sottoprogramma passandogli i dati di ingresso e ottenendo i dati di uscita, visualizza i dati di uscita del sottoprogramma