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

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια
Μετάβαση σε: πλοήγηση, αναζήτηση

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

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

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

Σχετικές τεχνικές με την ανάλυση προγράμματος είναι:

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

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

Στο λήμμα αυτό έχει ενσωματωθεί κείμενο από το λήμμα Program analysis (computer science) της Αγγλόγλωσσης Βικιπαίδειας, η οποία διανέμεται υπό την GNU FDL και την CC-BY-SA 3.0. (ιστορικό/συντάκτες).