O analiză independentă a codului sursă de o persoană, echipa sau instrumentul pentru verificarea conformității cu standardele de documentaţia şi programare proiectare software-ul. Exactitatea şi eficienţa, de asemenea, poate fi evaluată.