Παρακαλώ χρησιμοποιήστε αυτό το αναγνωριστικό για να παραπέμψετε ή να δημιουργήσετε σύνδεσμο προς αυτό το τεκμήριο:
http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/17415
Τίτλος: | Έλεγχος Ορθότητας Μεταγλωττιστών |
Συγγραφείς: | Καράκος, Γεώργιος Παπασπύρου Νικόλαος |
Λέξεις κλειδιά: | Μεταγλωττιστές, Προγραμματισμός με αποδείξεις, Ορθότητα, Black-box testing, Πιστοποιημένος κώδικας |
Ημερομηνία έκδοσης: | 5-Νοε-2019 |
Περίληψη: | Στη σημερινή εποχή, η ανάγκη για αξιόπιστο και πιστοποιημένα ασφαλή κώδικα γίνεται διαρκώς ευρύτερα αντιληπτή. Προγράμματα που παρουσιάζουν σφάλματα έχουν ως αποτέλεσμα προβλήματα στην λειτουργία μεγάλων συστημάτων και συνεπώς οικονομικές επιπτώσεις στους οργανισμούς που τα χρησιμοποιούν. Οι μεταγλωττιστές γλωσσών προγραμματισμού είναι εργαλεία υπεύθυνα για τη μετατροπή κώδικα γραμμένου σε γλώσσα υψηλού επιπέδου σε εκτελέσιμο πρόγραμμα. Επομένως, το να υπάρχουν λάθη σε έναν μεταγλωττιστή καθιστά κάθε πρόγραμμα που δημιουργήθηκε από αυτόν επικίνδυνο στη χρήση. Είναι σημαντικό λοιπόν να δοκιμάζονται οι μεταγλωττιστές προκειμένου να εντοπίζονται πιθανά λάθη. Σκοπός της παρούσας εργασίας είναι η σχεδίαση ενός συστήματος ελέγχου ορθότητας ενός μεταγλωττιστή έχοντας ένα πρόγραμμα εισόδου καθώς και ο έλεγχος της σωστής λειτουργίας του εκτελέσιμου που παράγεται. |
URI: | http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/17415 |
Εμφανίζεται στις συλλογές: | Διπλωματικές Εργασίες - Theses |
Αρχεία σε αυτό το τεκμήριο:
Αρχείο | Περιγραφή | Μέγεθος | Μορφότυπος | |
---|---|---|---|---|
Georgios_Karakos_thesis.pdf | 458.89 kB | Adobe PDF | Εμφάνιση/Άνοιγμα |
Όλα τα τεκμήρια του δικτυακού τόπου προστατεύονται από πνευματικά δικαιώματα.