| dc.contributor.advisor | Ανδρέου, Ανδρέας | el |
| dc.contributor.author | Κουρράς, Αντώνης | el |
| dc.coverage.spatial | Κύπρος | el |
| dc.creator | Κουρράς, Αντώνης | el |
| dc.date.accessioned | 2013-09-16T09:25:48Z | |
| dc.date.available | 2013-09-16T09:25:48Z | |
| dc.date.issued | 2010-08 | |
| dc.identifier.uri | https://gnosis.library.ucy.ac.cy/handle/7/13146 | en |
| dc.description | Διατριβή (Μεταπτυχιακή) -- Πανεπιστήμιο Κύπρου, Σχολή Θετικών και Εφαρμοσμένων Επιστημών, Τμήμα Πληροφορικής, 2010. | el |
| dc.description.abstract | Ο έλεγχος είναι μια διαδικασία η οποία είναι αναπόφευκτη για την ανάπτυξη και παραγωγή ενός συστήματος λογισμικού. Έχουν γίνει αρκετές προσεγγίσεις οι οποίες αναφέρονται στον έλεγχο συστημάτων λογισμικού. Με την αύξηση της πολυπλοκότητας του λογισμικού εμφανίστηκε η ανάγκη για εξεύρεση αξιόπιστων και αποδοτικών μεθόδων ελέγχου, έτσι ώστε να είναι επαρκής ο έλεγχος. Δηλαδή να μπορεί ο δημιουργός να εγγυηθεί την ορθότητα του εκάστοτε λογισμικού συστήματος. Σε αυτή τη διπλωματική εργασία, έχει γίνει μια εκτενής μελέτη της πλατφόρμας Visual Studio 2010 καθώς και των δυνατοτήτων της ως προς την διαδικασία ελέγχου συστημάτων λογισμικού. Έχουν υλοποιηθεί δύο επαναχρησιμοποιήσιμα συστατικά, αυτό της στατικής ανάλυσης πηγαίου κώδικα για τη γλώσσα προγραμματισμού C# καθώς και της επαλήθευσης της ορθότητας του λογισμικού που βρίσκεται υπό έλεγχο. Επίσης, χρησιμοποιήθηκαν τα πιο πάνω συστατικά για την υλοποίηση μίας μηχανής παραγωγής μεταλλάξεων εντολών σε πηγαίο κώδικα γραμμένο στη γλώσσα προγραμματισμού C#. Οι μεταλλάξεις γίνονται σε επίπεδο μεθόδων. Επιπλέον, έχει προταθεί η βελτιστοποίηση της μηχανής παραγωγής μεταλλάξεων εντολών σε πηγαίο κώδικα έτσι ώστε να ενσωματωθεί «εξυπνάδα» στον τρόπο παραγωγής των μεταλλάξεων. Ακόμη, παρουσιάζονται διάφορα παραδείγματα για την αξιολόγηση και την παρουσίαση της χρήσης της πιο πάνω μηχανής στο χώρο της διαδικασίας ελέγχου συστημάτων λογισμικού. Στην αρχή παρουσιάζεται το θεωρητικό υπόβαθρο καθώς και πληροφορίες για την έρευνα που έχει πραγματοποιηθεί αναφορικά με την πλατφόρμα Visual Studio 2010 και τη τεχνική ελέγχου βάσει μεταλλάξεων πηγαίου κώδικα. Στη συνέχεια η μεθοδολογία υλοποίησης και χρήσης των δύο συστατικά. Ακολούθως υπάρχει αναφορά στην αρχιτεκτονική και την ανάλυση της μηχανής παραγωγής μεταλλάξεων σε πηγαίο κώδικα.
Επίσης παρουσιάζονται διάφορα πειράματα για την επιβεβαίωση της εγκυρότητας και της χρησιμότητας της μηχανής παραγωγή μεταλλάξεων σε πηγαίο κώδικα. Τέλος παρουσιάζεται η αποτίμηση της εργασίας που έχει πραγματοποιηθεί καθώς και διάφορες προτάσεις για μελλοντική έρευνα στο χώρο. | el |
| dc.format.extent | vii, 97 σ. : εικ. ; 30 εκ. | el |
| dc.language.iso | gre | en |
| dc.publisher | Πανεπιστήμιο Κύπρου, Σχολή Θετικών και Εφαρμοσμένων Επιστημών / University of Cyprus, Faculty of Pure and Applied Sciences | |
| dc.rights | info:eu-repo/semantics/openAccess | en |
| dc.source.uri | https://ktree.cs.ucy.ac.cy/action.php?kt_path_info=ktcore.actions.document.view&fDocumentId=12930 | en |
| dc.title | Πλαίσιο εργασίας για τη δημιουργία μηχανής παραγωγής μεταλλάξεων εντολών σε πηγαίο κώδικα για την γλώσσα C#. | el |
| dc.type | info:eu-repo/semantics/masterThesis | en |
| dc.contributor.committeemember | Ανδρέου, Ανδρέας | el |
| dc.contributor.committeemember | Χρυσάνθου, Γιώργος | el |
| dc.contributor.committeemember | Πάλλης, Γιώργος | el |
| dc.contributor.department | Τμήμα Πληροφορικής / Department of Computer Science | |
| dc.author.faculty | Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
| dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
| dc.type.uhtype | Master Thesis | en |
