.
Ανάλυση προγράμματος (computer program analysis) ονομάζεται η διαδικασία με την οποία αναλύεται αυτόματα η συμπεριφορά προγραμμάτων που εκτελούνται σε έναν υπολογιστή.
Υπάρχουν δύο βασικές προσεγγίσεις στην ανάλυση προγράμματος, η στατική ανάλυση και η δυναμική ανάλυση.
Βασικές εφαρμογές της ανάλυσης προγράμματος είναι η βελτιστοποίηση προγράμματος και η ορθότητα προγράμματος.
Σχετικές τεχνικές με την ανάλυση προγράμματος είναι:
τα συστήματα τύπων
η αφηρημένη διερμηνεία
η ορθότητα προγράμματος
ο έλεγχος μοντέλων.
Η ανάλυση απόδοσης (γνωστή και με τον όρο "profiling") και η ανάλυση εξαρτήσεων είναι συγκεκριμένες μορφές της ανάλυσης προγράμματος.
Μια τεχνική που χρησιμοποιείται συχνά για κάποιες περιπτώσεις ανάλυσης προγράμματος είναι το program slicing.
Στο λήμμα αυτό έχει ενσωματωθεί κείμενο από το λήμμα Program analysis (computer science) της Αγγλικής Βικιπαίδειας, η οποία διανέμεται υπό την GNU FDL και την CC-BY-SA 3.0. (ιστορικό/συντάκτες).
Hellenica World - Scientific Library
Από τη ελληνική Βικιπαίδεια http://el.wikipedia.org . Όλα τα κείμενα είναι διαθέσιμα υπό την GNU Free Documentation License
