Ανεξάρτητη εξέταση του πηγαίου κώδικα, από ένα πρόσωπο, ομάδα, εργαλείο ή να εξακριβώνουν τη συμμόρφωση με τα πρότυπα τεκμηρίωσης και προγραμματισμού του σχεδίασης λογισμικού. Ορθότητας και της αποτελεσματικότητας μπορεί επίσης να αξιολογείται.