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