Πλαίσιο εργασίας για τη δημιουργία μηχανής παραγωγής μεταλλάξεων εντολών σε πηγαίο κώδικα για την γλώσσα C#.

Abstract

Ο έλεγχος είναι μια διαδικασία η οποία είναι αναπόφευκτη για την ανάπτυξη και παραγωγή ενός συστήματος λογισμικού. Έχουν γίνει αρκετές προσεγγίσεις οι οποίες αναφέρονται στον έλεγχο συστημάτων λογισμικού. Με την αύξηση της πολυπλοκότητας του λογισμικού εμφανίστηκε η ανάγκη για εξεύρεση αξιόπιστων και αποδοτικών μεθόδων ελέγχου, έτσι ώστε να είναι επαρκής ο έλεγχος. Δηλαδή να μπορεί ο δημιουργός να εγγυηθεί την ορθότητα του εκάστοτε λογισμικού συστήματος. Σε αυτή τη διπλωματική εργασία, έχει γίνει μια εκτενής μελέτη της πλατφόρμας Visual Studio 2010 καθώς και των δυνατοτήτων της ως προς την διαδικασία ελέγχου συστημάτων λογισμικού. Έχουν υλοποιηθεί δύο επαναχρησιμοποιήσιμα συστατικά, αυτό της στατικής ανάλυσης πηγαίου κώδικα για τη γλώσσα προγραμματισμού C# καθώς και της επαλήθευσης της ορθότητας του λογισμικού που βρίσκεται υπό έλεγχο. Επίσης, χρησιμοποιήθηκαν τα πιο πάνω συστατικά για την υλοποίηση μίας μηχανής παραγωγής μεταλλάξεων εντολών σε πηγαίο κώδικα γραμμένο στη γλώσσα προγραμματισμού C#. Οι μεταλλάξεις γίνονται σε επίπεδο μεθόδων. Επιπλέον, έχει προταθεί η βελτιστοποίηση της μηχανής παραγωγής μεταλλάξεων εντολών σε πηγαίο κώδικα έτσι ώστε να ενσωματωθεί «εξυπνάδα» στον τρόπο παραγωγής των μεταλλάξεων. Ακόμη, παρουσιάζονται διάφορα παραδείγματα για την αξιολόγηση και την παρουσίαση της χρήσης της πιο πάνω μηχανής στο χώρο της διαδικασίας ελέγχου συστημάτων λογισμικού. Στην αρχή παρουσιάζεται το θεωρητικό υπόβαθρο καθώς και πληροφορίες για την έρευνα που έχει πραγματοποιηθεί αναφορικά με την πλατφόρμα Visual Studio 2010 και τη τεχνική ελέγχου βάσει μεταλλάξεων πηγαίου κώδικα. Στη συνέχεια η μεθοδολογία υλοποίησης και χρήσης των δύο συστατικά. Ακολούθως υπάρχει αναφορά στην αρχιτεκτονική και την ανάλυση της μηχανής παραγωγής μεταλλάξεων σε πηγαίο κώδικα. Επίσης παρουσιάζονται διάφορα πειράματα για την επιβεβαίωση της εγκυρότητας και της χρησιμότητας της μηχανής παραγωγή μεταλλάξεων σε πηγαίο κώδικα. Τέλος παρουσιάζεται η αποτίμηση της εργασίας που έχει πραγματοποιηθεί καθώς και διάφορες προτάσεις για μελλοντική έρευνα στο χώρο.