Τεχνικές Βελτίωσης Της Αποτελεσματικότητας Εύρεσης Λαθών Σε Προγράμματα Μέσω Στατικής Ανάλυσης

Abstract

Η ανίχνευση και διόρθωση λαθών σε προγράμματα είναι μια διαδικασία που καταναλώνει σημαντικό μέρος του χρόνου κάθε προγραμματιστή. Εργαλεία που διευκολύνουν τον εντοπισμό λαθών είναι χρήσιμα τόσο στον περιορισμό των τελικών λαθών, όσο και στην διαδικασία εντοπισμού και διόρθωσης κατά την ανάπτυξη του προγράμματος. Στην παρουσα εργασία παρουσιάζεται η επέκταση των δυνατότητων του Dialyzer, ενός προγράμματος που χρησιμοποιεί στατική ανάλυση για την ανίχνευση λαθών σε προγράμματα στη γλώσσα Erlang, με την εισαγωγή τύπων τομής που βελτιώνουν σημαντικά την ακρίβεια του εργαλείου και την προσθήκη επιπλέον δυνατοτήτων σχετικώνμε τον εντοπισμό λαθών στην χρήση των behaviours, που αντιστοιχούν στις αφηρημένες κλάσεις των αντικειμενοστρεφών γλωσσών προγραμματισμού. Οι επεκτάσεις αυτές οδήγησαν στον εντοπισμό σημαντικών λαθών σε ήδη υπάρχοντα και ενδελεχώς ελεγμένο κώδικα.