Please use this identifier to cite or link to this item:
http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/17415
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Καράκος, Γεώργιος | - |
dc.date.accessioned | 2019-11-05T13:56:55Z | - |
dc.date.available | 2019-11-05T13:56:55Z | - |
dc.date.issued | 2019-11-05 | - |
dc.identifier.uri | http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/17415 | - |
dc.description.abstract | Στη σημερινή εποχή, η ανάγκη για αξιόπιστο και πιστοποιημένα ασφαλή κώδικα γίνεται διαρκώς ευρύτερα αντιληπτή. Προγράμματα που παρουσιάζουν σφάλματα έχουν ως αποτέλεσμα προβλήματα στην λειτουργία μεγάλων συστημάτων και συνεπώς οικονομικές επιπτώσεις στους οργανισμούς που τα χρησιμοποιούν. Οι μεταγλωττιστές γλωσσών προγραμματισμού είναι εργαλεία υπεύθυνα για τη μετατροπή κώδικα γραμμένου σε γλώσσα υψηλού επιπέδου σε εκτελέσιμο πρόγραμμα. Επομένως, το να υπάρχουν λάθη σε έναν μεταγλωττιστή καθιστά κάθε πρόγραμμα που δημιουργήθηκε από αυτόν επικίνδυνο στη χρήση. Είναι σημαντικό λοιπόν να δοκιμάζονται οι μεταγλωττιστές προκειμένου να εντοπίζονται πιθανά λάθη. Σκοπός της παρούσας εργασίας είναι η σχεδίαση ενός συστήματος ελέγχου ορθότητας ενός μεταγλωττιστή έχοντας ένα πρόγραμμα εισόδου καθώς και ο έλεγχος της σωστής λειτουργίας του εκτελέσιμου που παράγεται. | en_US |
dc.language | el | en_US |
dc.subject | Μεταγλωττιστές, Προγραμματισμός με αποδείξεις, Ορθότητα, Black-box testing, Πιστοποιημένος κώδικας | en_US |
dc.title | Έλεγχος Ορθότητας Μεταγλωττιστών | en_US |
dc.description.pages | 38 | en_US |
dc.contributor.supervisor | Παπασπύρου Νικόλαος | en_US |
dc.department | Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών | en_US |
Appears in Collections: | Διπλωματικές Εργασίες - Theses |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Georgios_Karakos_thesis.pdf | 458.89 kB | Adobe PDF | View/Open |
Items in Artemis are protected by copyright, with all rights reserved, unless otherwise indicated.