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