Έλεγχος ορθότητας μεταγλωττιστών

Καράκος, Γεώργιος; Karakos, Georgios

dc.contributor.author	Καράκος, Γεώργιος	el
dc.contributor.author	Karakos, Georgios	en
dc.date.accessioned	2020-03-10T11:13:50Z
dc.date.available	2020-03-10T11:13:50Z
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/49933
dc.identifier.uri	http://dx.doi.org/10.26240/heal.ntua.17631
dc.rights	Αναφορά Δημιουργού-Μη Εμπορική Χρήση-Όχι Παράγωγα Έργα 3.0 Ελλάδα	*
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/3.0/gr/	*
dc.subject	Μεταγλωττιστές	el
dc.subject	Ορθότητα	el
dc.subject	Πιστοποιημένος κώδικας	el
dc.subject	Προγραμματισμός με αποδείξεις	el
dc.subject	Έλεγχος λογισμικού	el
dc.subject	Compilers	en
dc.subject	Correctness	en
dc.subject	Black-box testing	en
dc.subject	Secure programming	en
dc.subject	Certified code	en
dc.title	Έλεγχος ορθότητας μεταγλωττιστών	el
dc.title	Compiler correctness testing	en
heal.type	bachelorThesis
heal.classification	Προγραμματισμός	el
heal.classification	Programming	en
heal.language	el
heal.access	free
heal.recordProvider	ntua	el
heal.publicationDate	2019-11-05
heal.abstract	Στη σημερινή εποχή, η ανάγκη για αξιόπιστο και πιστοποιημένα ασφαλή κώδικα γίνεται διαρκώς ευρύτερα αντιληπτή. Προγράμματα που παρουσιάζουν σφάλματα έχουν ως αποτέλεσμα προβλήματα στην λειτουργία μεγάλων συστημάτων και συνεπώς οικονομικές επιπτώσεις στους οργανισμούς που τα χρησιμοποιούν. Οι μεταγλωττιστές γλωσσών προγραμματισμού είναι εργαλεία υπεύθυνα για τη μετατροπή κώδικα γραμμένου σε γλώσσα υψηλού επιπέδου σε εκτελέσιμο πρόγραμμα. Επομένως, το να υπάρχουν λάθη σε έναν μεταγλωττιστή καθιστά κάθε πρόγραμμα που δημιουργήθηκε από αυτόν επικίνδυνο στη χρήση. Είναι σημαντικό λοιπόν να δοκιμάζονται οι μεταγλωττιστές προκειμένου να εντοπίζονται πιθανά λάθη. Σκοπός της παρούσας εργασίας είναι η σχεδίαση ενός συστήματος ελέγχου ορθότητας ενός μεταγλωττιστή έχοντας ένα πρόγραμμα εισόδου καθώς και ο έλεγχος της σωστής λειτουργίας του εκτελέσιμου που παράγεται.	el
heal.abstract	The need for reliable and certifiably secure code is even more pressing today than it was in the past. Programs containing errors put in danger the operation of large systems, with substancial financial consequences. A compiler is a tool tasked with translating code written in a high-level programming language to an executable program. Therefore, the existence of errors in a compiler compromises any program created by it. That means it’s important to test a compiler in order to discover an error through use. The purpose of this diploma dissertation is the design of a system that checks the correctness of a compiler when given a suitable input program. The system then checks the behavior of the executable if one is produced.	en
heal.advisorName	Παπασπύρου, Νικόλαος
heal.committeeMemberName	Παπασπύρου, Νικόλαος
heal.committeeMemberName	Φωτάκης, Δημήτριος
heal.committeeMemberName	Γκούμας, Γεώργιος
heal.academicPublisher	Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών. Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών	el
heal.academicPublisherID	ntua
heal.numberOfPages	38 σ.
heal.fullTextAvailability	false