Eine unabhängige Prüfung des Quellcodes durch eine Person, Team oder Tool zur Überprüfung der Übereinstimmung mit Software Design-Dokumentation und Programmierung. Richtigkeit und Effizienz können auch bewertet werden.