Please use this identifier to cite or link to this item:
http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/17415
Title: | Έλεγχος Ορθότητας Μεταγλωττιστών |
Authors: | Καράκος, Γεώργιος Παπασπύρου Νικόλαος |
Keywords: | Μεταγλωττιστές, Προγραμματισμός με αποδείξεις, Ορθότητα, Black-box testing, Πιστοποιημένος κώδικας |
Issue Date: | 5-Nov-2019 |
Abstract: | Στη σημερινή εποχή, η ανάγκη για αξιόπιστο και πιστοποιημένα ασφαλή κώδικα γίνεται διαρκώς ευρύτερα αντιληπτή. Προγράμματα που παρουσιάζουν σφάλματα έχουν ως αποτέλεσμα προβλήματα στην λειτουργία μεγάλων συστημάτων και συνεπώς οικονομικές επιπτώσεις στους οργανισμούς που τα χρησιμοποιούν. Οι μεταγλωττιστές γλωσσών προγραμματισμού είναι εργαλεία υπεύθυνα για τη μετατροπή κώδικα γραμμένου σε γλώσσα υψηλού επιπέδου σε εκτελέσιμο πρόγραμμα. Επομένως, το να υπάρχουν λάθη σε έναν μεταγλωττιστή καθιστά κάθε πρόγραμμα που δημιουργήθηκε από αυτόν επικίνδυνο στη χρήση. Είναι σημαντικό λοιπόν να δοκιμάζονται οι μεταγλωττιστές προκειμένου να εντοπίζονται πιθανά λάθη. Σκοπός της παρούσας εργασίας είναι η σχεδίαση ενός συστήματος ελέγχου ορθότητας ενός μεταγλωττιστή έχοντας ένα πρόγραμμα εισόδου καθώς και ο έλεγχος της σωστής λειτουργίας του εκτελέσιμου που παράγεται. |
URI: | http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/17415 |
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.