Une technique d'évaluation formelle dans quel logiciel exigences, conception ou du code sont examinées en détail par une personne ou un groupe autre que le donneur d'ordre pour détecter des failles, des violations des normes de développement et autres problèmes semi-formelles. L'examen membres sont pairs (égaux) du concepteur ou programmeur. Erreur traditionnel sont collectées lors des inspections à analyser ultérieurement et d'aider à l'avenir des inspections. Un examen par les pairs est parfois appelé une procédure pas à pas ou l'inspection.