Please use this identifier to cite or link to this item:
http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/15920
Title: | Τεχνικές Βελτίωσης Της Αποτελεσματικότητας Εύρεσης Λαθών Σε Προγράμματα Μέσω Στατικής Ανάλυσης |
Authors: | Αρώνης Σταύρος Σαγώνας Κωστής |
Keywords: | στατική ανάλυση συμπερασμός τύπων τύποι τομής αφηρημένες κλάσεις erlang dialyzer |
Issue Date: | 28-Jan-2011 |
Abstract: | Η ανίχνευση και διόρθωση λαθών σε προγράμματα είναι μια διαδικασία που καταναλώνει σημαντικό μέρος του χρόνου κάθε προγραμματιστή. Εργαλεία που διευκολύνουν τον εντοπισμό λαθών είναι χρήσιμα τόσο στον περιορισμό των τελικών λαθών, όσο και στην διαδικασία εντοπισμού και διόρθωσης κατά την ανάπτυξη του προγράμματος. Στην παρουσα εργασία παρουσιάζεται η επέκταση των δυνατότητων του Dialyzer, ενός προγράμματος που χρησιμοποιεί στατική ανάλυση για την ανίχνευση λαθών σε προγράμματα στη γλώσσα Erlang, με την εισαγωγή τύπων τομής που βελτιώνουν σημαντικά την ακρίβεια του εργαλείου και την προσθήκη επιπλέον δυνατοτήτων σχετικώνμε τον εντοπισμό λαθών στην χρήση των behaviours, που αντιστοιχούν στις αφηρημένες κλάσεις των αντικειμενοστρεφών γλωσσών προγραμματισμού. Οι επεκτάσεις αυτές οδήγησαν στον εντοπισμό σημαντικών λαθών σε ήδη υπάρχοντα και ενδελεχώς ελεγμένο κώδικα. |
URI: | http://artemis-new.cslab.ece.ntua.gr:8080/jspui/handle/123456789/15920 |
Appears in Collections: | Διπλωματικές Εργασίες - Theses |
Files in This Item:
File | Size | Format | |
---|---|---|---|
DT2011-0018.pdf | 286.8 kB | Adobe PDF | View/Open |
Items in Artemis are protected by copyright, with all rights reserved, unless otherwise indicated.