Παρακαλώ χρησιμοποιήστε αυτό το αναγνωριστικό για να παραπέμψετε ή να δημιουργήσετε σύνδεσμο προς αυτό το τεκμήριο:
http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/16378
Τίτλος: | Στατική Ανάλυση Για Εύρεση Λαθών Σε Προγράμματα Javascript |
Συγγραφείς: | Κασαμπαλής Θεόδωρος Σαγώνας Κωστής |
Λέξεις κλειδιά: | στατική ανάλυση εξαγωγή τύπων ανάλυση ροής δεδομένων javascript |
Ημερομηνία έκδοσης: | 25-Ιου-2012 |
Περίληψη: | Η JavaScript είναι μία δημοφιλής γλώσσα προγραμματισμού, που χρησιμοποιείται κυρίως για προγραμματισμό στον ιστό, αλλά και για προγραμματισμό γενικού σκοπού. Η γλώσσα αυτή έχει δυναμικό και χαλαρό σύστημα τύπων, και κατά συνέπεια τα λάθη σε προγράμματα JavaScript είναι δύσκολο να εντοπιστούν. Παρόλα αυτά, η υπάρχουσα υποστήριξη από αυτόματα εργαλεία για τη γλώσσα είναι περιορισμένη. Η εργασία μας στοχεύει στη βελτίωση αυτής της κατάστασης. Αναπτύσσουμε μία διαδικασία στατικής ανάλυσης για προγράμματα JavaScript που καλύπτει όλα τα χαρακτηριστικά της γλώσσας. Η ανάλυσή μας είναι ικανή να εξάγει πληροφορίες σχετικές με τους τύπους κατά την εκτέλεση, τους γράφους κλήσεων, τη διάδοση εξαιρέσεων και τη δομή των αντικειμένων, χρησιμοποιώντας μια ικανοποιητική αφαίρεση για ολόκληρο το runtime σύστημα της γλώσσας και για τον ασυνήθιστο μηχανισμό προτοτύπων που διαθέτει. Σε αυτή τη διπλωματική, παρουσιάζουμε λεπτομερώς αυτή την αφαίρεση και την αντιστοιχία της με την προδιαγραφή της γλώσσας. Επίσης, περιγράφουμε τον αλγόριθμο στατικής ανάλυσης που χρησιμοποιήθηκε και δίνουμε ενδεικτικά παραδείγματα. |
URI: | http://artemis-new.cslab.ece.ntua.gr:8080/jspui/handle/123456789/16378 |
Εμφανίζεται στις συλλογές: | Διπλωματικές Εργασίες - Theses |
Αρχεία σε αυτό το τεκμήριο:
Αρχείο | Μέγεθος | Μορφότυπος | |
---|---|---|---|
DT2012-0169.pdf | 293.02 kB | Adobe PDF | Εμφάνιση/Άνοιγμα |
Όλα τα τεκμήρια του δικτυακού τόπου προστατεύονται από πνευματικά δικαιώματα.