Περιβάλλον πλαίσιο για το στατικό και δυναμικό έλεγχο συστημάτων λογισμικού με τη βοήθεια μοντέλων

DSpace/Manakin Repository

Show simple item record

dc.contributor.author Καραμπέρη, Όλγα Χαρά el
dc.contributor.author Κάκκαρου, Ξενούλα el
dc.contributor.author Karamperi, Olga Chara en
dc.contributor.author Kakkarou, Xenoula en
dc.date.accessioned 2016-04-12T08:58:14Z
dc.date.available 2016-04-12T08:58:14Z
dc.date.issued 2016-04-12
dc.identifier.uri https://dspace.lib.ntua.gr/xmlui/handle/123456789/42368
dc.identifier.uri http://dx.doi.org/10.26240/heal.ntua.11964
dc.rights Αναφορά Δημιουργού-Μη Εμπορική Χρήση-Όχι Παράγωγα Έργα 3.0 Ελλάδα *
dc.rights.uri http://creativecommons.org/licenses/by-nc-nd/3.0/gr/ *
dc.subject Δέντρα στόχων el
dc.subject Στατική ανάλυση el
dc.subject Δυναμική ανάλυση el
dc.subject Ανάλυση αρχικών αιτιών el
dc.subject Μοντελοκεντρικός έλεγχος συστημάτων el
dc.subject Goal tree en
dc.subject Static analysis en
dc.subject Dynamic analysis en
dc.subject Root-cause analysis en
dc.subject Model-based testing en
dc.title Περιβάλλον πλαίσιο για το στατικό και δυναμικό έλεγχο συστημάτων λογισμικού με τη βοήθεια μοντέλων el
heal.type bachelorThesis
heal.classification Τεχνολογία λογισμικού el
heal.language el
heal.access free
heal.recordProvider ntua el
heal.publicationDate 2015-09-28
heal.abstract Στόχος της παρούσας διπλωματικής εργασίας είναι ο σχεδιασμός και η υλοποίηση ενός περιβάλλοντος-πλαισίου που επιτρέπει τον στατικό και δυναμικό έλεγχο συστημάτων λογισμικού με τη βοήθεια μοντέλων στόχων. Η διαχείριση έργων ανάπτυξης λογισμικού αποτελεί μια σύνθετη διαδικασία με κύριο στόχο της την εξασφάλιση ότι το τελικό σύστημα λογισμικού θα παραδοθεί εγκαίρως, θα ικανοποιεί τις ανάγκες των τελικών χρηστών, θα λαμβάνει υπ' όψιν τις απαιτήσεις ποιότητας και ταυτόχρονα θα διατηρεί το κόστος στα προβλεπόμενα όρια. Στην ανάπτυξη πολυσύνθετων συστημάτων λογισμικού ο περισσότερος χρόνος και η μεγαλύτερη προσπάθεια καταναλώνονται στην επαλήθευση του συστήματος λογισμικού παρά στην ανάπτυξη. Η λύση που προτείνεται για την μείωση του χρόνου και του κόστους στην επαλήθευση λογισμικού, είναι η ανάπτυξη πλαισίων ελέγχου τα οποία θα είναι σε θέση να εξετάζουν την ορθή λειτουργία ενός συστήματος λογισμικού και την ικανοποίηση των απαιτήσεων του, σε όλα τα στάδια της ανάπτυξης του. Η προσέγγιση μας στο πρόβλημα βασίζεται στην μοντελοποίηση των απαιτήσεων του υπό έλεγχο συστήματος με τη βοήθεια μοντέλων δέντρων στόχων. Η διαδικασία ελέγχου των απαιτήσεων, ξεκινά με την ανακάλυψη ενδείξεων αποτυχίας κάποιας απαίτησης του υπό έλεγχο συστήματος και απαιτεί την εύρεση των πιθανών αρχικών αιτιών. Η επαλήθευση των αρχικών αιτιών μπορεί να επιτευχθεί με την εκτέλεση ενός συνόλου στρατηγικών ελέγχου. Στα πλαίσια αυτής της διπλωματικής εργασίας ορίζουμε στρατηγικές ελέγχου που βασίζονται στις μεθόδους δυναμικής και στατικής ανάλυσης. Έτσι επιτυγχάνεται όχι μόνο η μείωση του όγκου δεδομένων που πρέπει να ελεγχθεί, αλλά και ο ακριβής προσδιορισμός της βασικής αιτίας που οδήγησε στη δυσλειτουργία του συστήματος. el
heal.abstract The main goal of this diploma thesis is the design and implementation of a goal-driven framework that applies static and dynamic analysis on software systems. The management of software development projects is a complex process and its main objective is to ensure that the final software system will be delivered on time and meets its end users requirements, taking into account quality requirements and simultaneously keeping the cost within the specified limits. During the development of complex software systems, the most of time and effort needed is consumed in verifying the correct functionality of the software system, rather than in the implementation of the system. The solution proposed for the reduction of the time and cost in software verification processes, is the development of frameworks that are able to verify the correct functionality of the a software system and make sure that it meets its requirements during all development stages. Our approach to this challenge, utilizes goal trees to model and define system requirements. The requirements verification process gets started upon detecting events that may be evidence of a requirement failure of the system under test and requires root-cause analysis. The verification of root causes can be achieved by executing a set of test strategies. For the purposes of this diploma thesis we define test strategies based on dynamic and static analysis methods. The advantage of using these framework is the not only the reduction of the data volume that needs to be analyzed but also the precise definition of the root cause leading to system malfunction. en
heal.advisorName Κοντογιάννης, Κωνσταντίνος el
heal.committeeMemberName Κοντογιάννης, Κωνσταντίνος el
heal.committeeMemberName Βασιλείου, Ιωάννης el
heal.committeeMemberName Κόλλιας, Στέφανος el
heal.academicPublisher Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών. Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών el
heal.academicPublisherID ntua
heal.numberOfPages 113 σ.
heal.fullTextAvailability true

Files in this item

The following license files are associated with this item:

This item appears in the following Collection(s)

Show simple item record

Αναφορά Δημιουργού-Μη Εμπορική Χρήση-Όχι Παράγωγα Έργα 3.0 Ελλάδα Except where otherwise noted, this item's license is described as Αναφορά Δημιουργού-Μη Εμπορική Χρήση-Όχι Παράγωγα Έργα 3.0 Ελλάδα