Esame sistematico di tutte le fasi di un sistema operativo (revisione), mediante l’applicazione di procedimenti informativi specifici. Si tratta di verificare la conformità di tutti i componenti di un dato processo/sistema/prodotto alle specifiche progettate (distinta programmata dei materiali utilizzabili).
Il controllo ispettivo e formalizzato avviene alla presenza di un diagnostico e comprende una misurazione strutturata della conformità (accertamento diagnostico) del sistema operativo, del processo o del prodotto.