Please use this identifier to cite or link to this item: http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/12909
Title: Περιβάλλον Πλαίσιο Για Το Στατικό Και Δυναμικό Έλεγχο Συστημάτων Λογισμικού Με Τη Βοήθεια Μοντέλων
Authors: Κάκκαρου Ξενούλα
Καραμπέρη Όλγα Χαρά
Κοντογιάννης Κώστας
Keywords: δέντρα στόχων
στατική ανάλυση
δυναμική ανάλυση
ανάλυση αρχικών αιτιών
μοντελοκεντρικός έλεγχος συστημάτων
τεχνολογία λογισμικού
έλεγχος μονάδων
ανάλυση δεδομένων παρακολούθησης
προτασιακή ικανοποιησιμότητα
Issue Date: 28-Sep-2015
Abstract: Στόχος της παρούσας διπλωματικής εργασίας είναι ο σχεδιασμός και η υλοποίηση ενός περιβάλλοντος-πλαισίου που επιτρέπει τον στατικό και δυναμικό έλεγχο συστημάτων λογισμικού με τη βοήθεια μοντέλων στόχων. Η διαχείριση έργων ανάπτυξης λογισμικού αποτελεί μια σύνθετη διαδικασία με κύριο στόχο της την εξασφάλιση ότι το τελικό σύστημα λογισμικού θα παραδοθεί εγκαίρως, θα ικανοποιεί τις ανάγκες των τελικών χρηστών, θα λαμβάνει υπ' όψιν τις απαιτήσεις ποιότητας και ταυτόχρονα θα διατηρεί το κόστος στα προβλεπόμενα όρια. Στην ανάπτυξη πολυσύνθετων συστημάτων λογισμικού ο περισσότερος χρόνος και η μεγαλύτερη προσπάθεια καταναλώνονται στην επαλήθευση του συστήματος λογισμικού παρά στην ανάπτυξη. Η λύση που προτείνεται για την μείωση του χρόνου και του κόστους στην επαλήθευση λογισμικού, είναι η ανάπτυξη πλαισίων ελέγχου τα οποία θα είναι σε θέση να εξετάζουν την ορθή λειτουργία ενός συστήματος λογισμικού και την ικανοποίηση των απαιτήσεων του, σε όλα τα στάδια της ανάπτυξης του. Η προσέγγιση μας στο πρόβλημα βασίζεται στην μοντελοποίηση των απαιτήσεων του υπό έλεγχο συστήματος με τη βοήθεια μοντέλων δέντρων στόχων. Η διαδικασία ελέγχου των απαιτήσεων, ξεκινά με την ανακάλυψη ενδείξεων αποτυχίας κάποιας απαίτησης του υπό έλεγχο συστήματος και απαιτεί την εύρεση των πιθανών αρχικών αιτιών. Η επαλήθευση των αρχικών αιτιών μπορεί να επιτευχθεί με την εκτέλεση ενός συνόλου στρατηγικών ελέγχου. Στα πλαίσια αυτής της διπλωματικής εργασίας ορίζουμε στρατηγικές ελέγχου που βασίζονται στις μεθόδους δυναμικής και στατικής ανάλυσης. Έτσι επιτυγχάνεται όχι μόνο η μείωση του όγκου δεδομένων που πρέπει να ελεγχθεί, αλλά και ο ακριβής προσδιορισμός της βασικής αιτίας που οδήγησε στη δυσλειτουργία του συστήματος.
URI: http://artemis-new.cslab.ece.ntua.gr:8080/jspui/handle/123456789/12909
Appears in Collections:Διπλωματικές Εργασίες - Theses

Files in This Item:
File SizeFormat 
DT2015-0263.pdf3.32 MBAdobe PDFView/Open


Items in Artemis are protected by copyright, with all rights reserved, unless otherwise indicated.