En uavhengig gjennomgang av kildekoden av en person, gruppe eller verktøyet å verifisere overensstemmelse med programvare design dokumentasjon og programmering standarder. Korrekthet og effektivitet kan også bli vurdert.