Ανάλυση προγράμματος (πληροφορική)

Ανάλυση προγράμματος (computer program analysis) ονομάζεται η διαδικασία με την οποία αναλύεται αυτόματα η συμπεριφορά προγραμμάτων που εκτελούνται σε έναν υπολογιστή.

Υπάρχουν δύο βασικές προσεγγίσεις στην ανάλυση προγράμματος, η στατική ανάλυση και η δυναμική ανάλυση.

Βασικές εφαρμογές της ανάλυσης προγράμματος είναι η βελτιστοποίηση προγράμματος και η ορθότητα προγράμματος.

Σχετικές τεχνικές με την ανάλυση προγράμματος είναι:
 τα συστήματα τύπων
 η αφηρημένη διερμηνεία
 η ορθότητα προγράμματος
 ο έλεγχος μοντέλων.

Η ανάλυση απόδοσης (γνωστή και με τον όρο "profiling") και η ανάλυση εξαρτήσεων είναι συγκεκριμένες μορφές της ανάλυσης προγράμματος.

Μια τεχνική που χρησιμοποιείται συχνά για κάποιες περιπτώσεις ανάλυσης προγράμματος είναι το program slicing.

Κατηγορία:Τυπικές μέθοδοι
Κατηγορία:Μηχανική λογισμικού