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

Καραμπέρη, Όλγα Χαρά; Κάκκαρου, Ξενούλα; Karamperi, Olga Chara; Kakkarou, Xenoula

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