La verifica del software è la raccolta di metodi usati per determinare se il sistema software che si sta costruendo sia in fase di costruzione. Alcuni aspetti del sistema, che si tratti della progettazione, dell'implementazione o dei casi di test, vengono confrontati con i requisiti documentati del sistema.
Un controllo del software è una tecnica particolare che può essere utilizzata per verificare il sistema rispetto alle specifiche. Esistono diversi tipi di ispezioni, che vanno da un "desk check" in cui un altro sviluppatore esamina il prodotto di lavoro a un'ispezione formale (spesso chiamata Ispezione Fagan ) con ruoli, liste di controllo e riunioni, con molti formati di ispezioni che rientrano tra questi due estremi.