Περιβάλλον Πλαίσιο Για Το Στατικό Και Δυναμικό Έλεγχο Συστημάτων Λογισμικού Με Τη Βοήθεια Μοντέλων

Abstract

Στόχος της παρούσας διπλωματικής εργασίας είναι ο σχεδιασμός και η υλοποίηση ενός περιβάλλοντος-πλαισίου που επιτρέπει τον στατικό και δυναμικό έλεγχο συστημάτων λογισμικού με τη βοήθεια μοντέλων στόχων. Η διαχείριση έργων ανάπτυξης λογισμικού αποτελεί μια σύνθετη διαδικασία με κύριο στόχο της την εξασφάλιση ότι το τελικό σύστημα λογισμικού θα παραδοθεί εγκαίρως, θα ικανοποιεί τις ανάγκες των τελικών χρηστών, θα λαμβάνει υπ' όψιν τις απαιτήσεις ποιότητας και ταυτόχρονα θα διατηρεί το κόστος στα προβλεπόμενα όρια. Στην ανάπτυξη πολυσύνθετων συστημάτων λογισμικού ο περισσότερος χρόνος και η μεγαλύτερη προσπάθεια καταναλώνονται στην επαλήθευση του συστήματος λογισμικού παρά στην ανάπτυξη. Η λύση που προτείνεται για την μείωση του χρόνου και του κόστους στην επαλήθευση λογισμικού, είναι η ανάπτυξη πλαισίων ελέγχου τα οποία θα είναι σε θέση να εξετάζουν την ορθή λειτουργία ενός συστήματος λογισμικού και την ικανοποίηση των απαιτήσεων του, σε όλα τα στάδια της ανάπτυξης του. Η προσέγγιση μας στο πρόβλημα βασίζεται στην μοντελοποίηση των απαιτήσεων του υπό έλεγχο συστήματος με τη βοήθεια μοντέλων δέντρων στόχων. Η διαδικασία ελέγχου των απαιτήσεων, ξεκινά με την ανακάλυψη ενδείξεων αποτυχίας κάποιας απαίτησης του υπό έλεγχο συστήματος και απαιτεί την εύρεση των πιθανών αρχικών αιτιών. Η επαλήθευση των αρχικών αιτιών μπορεί να επιτευχθεί με την εκτέλεση ενός συνόλου στρατηγικών ελέγχου. Στα πλαίσια αυτής της διπλωματικής εργασίας ορίζουμε στρατηγικές ελέγχου που βασίζονται στις μεθόδους δυναμικής και στατικής ανάλυσης. Έτσι επιτυγχάνεται όχι μόνο η μείωση του όγκου δεδομένων που πρέπει να ελεγχθεί, αλλά και ο ακριβής προσδιορισμός της βασικής αιτίας που οδήγησε στη δυσλειτουργία του συστήματος.