Show simple item record

dc.contributor.advisorAndreou, Andreasen
dc.contributor.advisorΑνδρέου, Ανδρέαςel_GR
dc.contributor.authorΚουρράς, Αντώνηςel_GR
dc.contributor.authorKourras, Antonisel_GR
dc.coverage.spatialCyprusen
dc.coverage.spatialΚύπροςel_GR
dc.date2010
dc.date.accessioned2013-09-16T09:25:48Z
dc.date.available2013-09-16T09:25:48Z
dc.date.issued2010-08
dc.identifier.urihttp://hdl.handle.net/10797/13146en
dc.descriptionΔιατριβή (Μεταπτυχιακή) -- Πανεπιστήμιο Κύπρου, Σχολή Θετικών και Εφαρμοσμένων Επιστημών, Τμήμα Πληροφορικής, 2010.el_GR
dc.description.abstractΟ έλεγχος είναι μια διαδικασία η οποία είναι αναπόφευκτη για την ανάπτυξη και παραγωγή ενός συστήματος λογισμικού. Έχουν γίνει αρκετές προσεγγίσεις οι οποίες αναφέρονται στον έλεγχο συστημάτων λογισμικού. Με την αύξηση της πολυπλοκότητας του λογισμικού εμφανίστηκε η ανάγκη για εξεύρεση αξιόπιστων και αποδοτικών μεθόδων ελέγχου, έτσι ώστε να είναι επαρκής ο έλεγχος. Δηλαδή να μπορεί ο δημιουργός να εγγυηθεί την ορθότητα του εκάστοτε λογισμικού συστήματος. Σε αυτή τη διπλωματική εργασία, έχει γίνει μια εκτενής μελέτη της πλατφόρμας Visual Studio 2010 καθώς και των δυνατοτήτων της ως προς την διαδικασία ελέγχου συστημάτων λογισμικού. Έχουν υλοποιηθεί δύο επαναχρησιμοποιήσιμα συστατικά, αυτό της στατικής ανάλυσης πηγαίου κώδικα για τη γλώσσα προγραμματισμού C# καθώς και της επαλήθευσης της ορθότητας του λογισμικού που βρίσκεται υπό έλεγχο. Επίσης, χρησιμοποιήθηκαν τα πιο πάνω συστατικά για την υλοποίηση μίας μηχανής παραγωγής μεταλλάξεων εντολών σε πηγαίο κώδικα γραμμένο στη γλώσσα προγραμματισμού C#. Οι μεταλλάξεις γίνονται σε επίπεδο μεθόδων. Επιπλέον, έχει προταθεί η βελτιστοποίηση της μηχανής παραγωγής μεταλλάξεων εντολών σε πηγαίο κώδικα έτσι ώστε να ενσωματωθεί «εξυπνάδα» στον τρόπο παραγωγής των μεταλλάξεων. Ακόμη, παρουσιάζονται διάφορα παραδείγματα για την αξιολόγηση και την παρουσίαση της χρήσης της πιο πάνω μηχανής στο χώρο της διαδικασίας ελέγχου συστημάτων λογισμικού. Στην αρχή παρουσιάζεται το θεωρητικό υπόβαθρο καθώς και πληροφορίες για την έρευνα που έχει πραγματοποιηθεί αναφορικά με την πλατφόρμα Visual Studio 2010 και τη τεχνική ελέγχου βάσει μεταλλάξεων πηγαίου κώδικα. Στη συνέχεια η μεθοδολογία υλοποίησης και χρήσης των δύο συστατικά. Ακολούθως υπάρχει αναφορά στην αρχιτεκτονική και την ανάλυση της μηχανής παραγωγής μεταλλάξεων σε πηγαίο κώδικα. Επίσης παρουσιάζονται διάφορα πειράματα για την επιβεβαίωση της εγκυρότητας και της χρησιμότητας της μηχανής παραγωγή μεταλλάξεων σε πηγαίο κώδικα. Τέλος παρουσιάζεται η αποτίμηση της εργασίας που έχει πραγματοποιηθεί καθώς και διάφορες προτάσεις για μελλοντική έρευνα στο χώρο.el_GR
dc.format.extentvii, 97 σ. : εικ. ; 30 εκ.el_GR
dc.language.isogreen
dc.publisherΠανεπιστήμιο Κύπρου, Σχολή Θετικών και Εφαρμοσμένων Επιστημώνel_GR
dc.publisherUniversity of Cyprus, Faculty of Pure and Applied Sciencesen
dc.rightsinfo:eu-repo/semantics/openAccessen
dc.source.urihttps://ktree.cs.ucy.ac.cy/action.php?kt_path_info=ktcore.actions.document.view&fDocumentId=12930en
dc.titleΠλαίσιο εργασίας για τη δημιουργία μηχανής παραγωγής μεταλλάξεων εντολών σε πηγαίο κώδικα για την γλώσσα C#.el_GR
dc.typeinfo:eu-repo/semantics/masterThesisen
dc.contributor.committeememberAndreou, Andreasen
dc.contributor.committeememberChrysanthou, Yiorgosen
dc.contributor.committeememberPallis, Georgeen
dc.contributor.committeememberΑνδρέου, Ανδρέαςel_GR
dc.contributor.committeememberΧρυσάνθου, Γιώργοςel_GR
dc.contributor.committeememberΠάλλης, Γιώργοςel_GR
dc.contributor.departmentUniversity of Cyprus, Faculty of Pure and Applied Sciences, Department of Computer Scienceen
dc.contributor.departmentΠανεπιστήμιο Κύπρου, Σχολή Θετικών και Εφαρμοσμένων Επιστημών, Τμήμα Πληροφορικήςel_GR


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record