Παρακαλώ χρησιμοποιήστε αυτό το αναγνωριστικό για να παραπέμψετε ή να δημιουργήσετε σύνδεσμο προς αυτό το τεκμήριο: http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/15920
Πλήρες αρχείο μεταδεδομένων
Πεδίο DC ΤιμήΓλώσσα
dc.contributor.authorΑρώνης Σταύρος
dc.date.accessioned2018-07-23T16:49:06Z-
dc.date.available2018-07-23T16:49:06Z-
dc.date.issued2011-1-28
dc.date.submitted2011-12-7
dc.identifier.urihttp://artemis-new.cslab.ece.ntua.gr:8080/jspui/handle/123456789/15920-
dc.description.abstractΗ ανίχνευση και διόρθωση λαθών σε προγράμματα είναι μια διαδικασία που καταναλώνει σημαντικό μέρος του χρόνου κάθε προγραμματιστή. Εργαλεία που διευκολύνουν τον εντοπισμό λαθών είναι χρήσιμα τόσο στον περιορισμό των τελικών λαθών, όσο και στην διαδικασία εντοπισμού και διόρθωσης κατά την ανάπτυξη του προγράμματος. Στην παρουσα εργασία παρουσιάζεται η επέκταση των δυνατότητων του Dialyzer, ενός προγράμματος που χρησιμοποιεί στατική ανάλυση για την ανίχνευση λαθών σε προγράμματα στη γλώσσα Erlang, με την εισαγωγή τύπων τομής που βελτιώνουν σημαντικά την ακρίβεια του εργαλείου και την προσθήκη επιπλέον δυνατοτήτων σχετικώνμε τον εντοπισμό λαθών στην χρήση των behaviours, που αντιστοιχούν στις αφηρημένες κλάσεις των αντικειμενοστρεφών γλωσσών προγραμματισμού. Οι επεκτάσεις αυτές οδήγησαν στον εντοπισμό σημαντικών λαθών σε ήδη υπάρχοντα και ενδελεχώς ελεγμένο κώδικα.
dc.languageGreek
dc.subjectστατική ανάλυση
dc.subjectσυμπερασμός τύπων
dc.subjectτύποι τομής
dc.subjectαφηρημένες κλάσεις
dc.subjecterlang
dc.subjectdialyzer
dc.titleΤεχνικές Βελτίωσης Της Αποτελεσματικότητας Εύρεσης Λαθών Σε Προγράμματα Μέσω Στατικής Ανάλυσης
dc.typeDiploma Thesis
dc.description.pages50
dc.contributor.supervisorΣαγώνας Κωστής
dc.departmentΤομέας Τεχνολογίας Πληροφορικής & Υπολογιστών
dc.organizationΕΜΠ, Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών
Εμφανίζεται στις συλλογές:Διπλωματικές Εργασίες - Theses

Αρχεία σε αυτό το τεκμήριο:
Αρχείο ΜέγεθοςΜορφότυπος 
DT2011-0018.pdf286.8 kBAdobe PDFΕμφάνιση/Άνοιγμα


Όλα τα τεκμήρια του δικτυακού τόπου προστατεύονται από πνευματικά δικαιώματα.