Βιβλιοθήκη ΟΠΑ - Ψηφιακό Αποθετήριο

ΠΥΞΙΔΑ Ιδρυματικό Αποθετήριο
και Ψηφιακή Βιβλιοθήκη

Όνομα χρήστη
Κωδικός πρόσβασης

Συλλογές :	Ιδρυματικό Αποθετήριο ΟΠΑ / AUEB Institutional Repository Σχολή Επιστημών και Τεχνολογίας της Πληροφορίας / School of Informatics Τμήμα Πληροφορικής / Department of Informatics Μεταπτυχιακές Εργασίες / Postgraduate dissertations

Τίτλος :	Η γλώσσα μοντελοποίησης UML και η σημασία της στον έλεγχο λογισμικού

Δημιουργός :	Θεοφιλόπουλος, Κωνσταντίνος

Συντελεστής :	Μαλεύρης, Νικόλαος (Επιβλέπων καθηγητής) Οικονομικό Πανεπιστήμιο Αθηνών, Τμήμα Πληροφορικής (Degree granting institution)

Τύπος :	Text

Φυσική περιγραφή :	87σ.

Γλώσσα :	el

Περίληψη :	Σκοπός της παρούσας διπλωματικής εργασίας είναι η βιβλιογραφική ανασκόπηση των διαφορετικών τρόπων που δύναται να χρησιμοποιηθούν τα μοντέλα της UML για να υποβοηθήσουν τον έλεγχο λογισμικού. Πιο συγκεκριμένα, αναλύονται οι βασικές έννοιες του ελέγχου λογισμικού (software testing) και του ελέγχου λογισμικού που βασίζεται στα μοντέλα (model-based testing). Στη συνέχεια γίνεται αναλυτική περιγραφή των διαφόρων υφιστάμενων προς εφαρμογή μεθόδων καθώς και αυτών που βρίσκονται σε στάδιο ανάπτυξης που χρησιμοποιούν διαγράμματα της γλώσσας UML για τον έλεγχο λογισμικού. Παράλληλα, παραθέτουμε μια συνοπτική περιγραφή εναλλακτικών μεθόδων που χρησιμοποιούν μοντέλα UML και για λοιπές εφαρμογές, πέρα από έλεγχο λογισμικού που προαναφέραμε και αναλύονται εκτενώς. Τέλος, γίνεται καταγραφή των παρατηρήσεων από τη συνολική μελέτη των μεθόδων, παρουσίαση κάποιων σημαντικών εργαλείων στο τομέα του UML Model-based testing και αναλυτική εφαρμογή εργαλείων μοντελοποίησης. The purpose of this master thesis is a literature review on the different methods that are using UML models in order to assist in software testing. Basic terms of software testing and model-based testing are described. Subsequently, there is detailed description of various methods that are applied or under development using UML diagrams for software testing. This is followed by a short description of methods that are using UML models on other applications instead of software testing. In conclusion, there is an observation record of all the study on the methods, a presentation of some remarkable tools that are used in the sector of Model-based testing and application of some modeling tools.

Περίληψη :

Σκοπός της παρούσας διπλωματικής εργασίας είναι η βιβλιογραφική ανασκόπηση των διαφορετικών τρόπων που δύναται να χρησιμοποιηθούν τα μοντέλα της UML για να υποβοηθήσουν τον έλεγχο λογισμικού. Πιο συγκεκριμένα, αναλύονται οι βασικές έννοιες του ελέγχου λογισμικού (software testing) και του ελέγχου λογισμικού που βασίζεται στα μοντέλα (model-based testing). Στη συνέχεια γίνεται αναλυτική περιγραφή των διαφόρων υφιστάμενων προς εφαρμογή μεθόδων καθώς και αυτών που βρίσκονται σε στάδιο ανάπτυξης που χρησιμοποιούν διαγράμματα της γλώσσας UML για τον έλεγχο λογισμικού. Παράλληλα, παραθέτουμε μια συνοπτική περιγραφή εναλλακτικών μεθόδων που χρησιμοποιούν μοντέλα UML και για λοιπές εφαρμογές, πέρα από έλεγχο λογισμικού που προαναφέραμε και αναλύονται εκτενώς. Τέλος, γίνεται καταγραφή των παρατηρήσεων από τη συνολική μελέτη των μεθόδων, παρουσίαση κάποιων σημαντικών εργαλείων στο τομέα του UML Model-based testing και αναλυτική εφαρμογή εργαλείων μοντελοποίησης.
The purpose of this master thesis is a literature review on the different methods that are using UML models in order to assist in software testing. Basic terms of software testing and model-based testing are described. Subsequently, there is detailed description of various methods that are applied or under development using UML diagrams for software testing. This is followed by a short description of methods that are using UML models on other applications instead of software testing. In conclusion, there is an observation record of all the study on the methods, a presentation of some remarkable tools that are used in the sector of Model-based testing and application of some modeling tools.

Λέξη κλειδί :	UML Έλεγχος Λογισμικό Μοντέλα Απροσπέλαστα μονοπάτια Μεταλλάξεις Εργαλεία ελέγχου Software Testing Models Infeasible paths Mutations Testing tools

Ημερομηνία :	29-02-2016

Άδεια χρήσης :

Αρχείο: Theophilopoulos_2016.pdf

Τύπος: application/pdf

Είσοδος