Inspeções de programa correspondem a um teste de verificação amplamente utilizado, que deve ser realizado no momento em que o programa está sendo executado.
