AUEB Library - Digital Repository

PYXIDA Institutional Repository
and Digital Library

Username
Password

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

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

Creator :	Θεοφιλόπουλος, Κωνσταντίνος

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

Type :	Text

Extent :	87σ.

Language :	el

Abstract :	Σκοπός της παρούσας διπλωματικής εργασίας είναι η βιβλιογραφική ανασκόπηση των διαφορετικών τρόπων που δύναται να χρησιμοποιηθούν τα μοντέλα της 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.

Abstract :

Σκοπός της παρούσας διπλωματικής εργασίας είναι η βιβλιογραφική ανασκόπηση των διαφορετικών τρόπων που δύναται να χρησιμοποιηθούν τα μοντέλα της 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.

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

Date :	29-02-2016

Licence :

File: Theophilopoulos_2016.pdf

Type: application/pdf

Login