Un semi-formelles technique d'évaluation formelle dans laquelle logiciel exigences, conception ou le code sont examinées en détail par une personne ou groupe autre que l'auteur de détecter des failles, des violations des normes de développement et autres problèmes. L'examen membres sont pairs (égaux) du concepteur ou programmeur. Erreur traditionnel données sont recueillies au cours des inspections à analyser plus tard et pour aider à l'avenir des inspections. Examen par les pairs est parfois appelé une procédure pas à pas ou inspection.