Dove approfondiamo le esigenze e le opportunità di verifica sul codice, convenienti e opportune da effettuare tramite analisi statica, così da avvicinare il momento della verifica a quello della produzione, riducendo la durata temporale in cui lo sviluppo possa "trascinare" con sé errori non rilevati, con il rischio che diventino fonte di seri problemi.