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