PYXIDA Institutional Repository
and Digital Library
 Home
Collections :

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.
Subject :UML
Έλεγχος
Λογισμικό
Μοντέλα
Απροσπέλαστα μονοπάτια
Μεταλλάξεις
Εργαλεία ελέγχου
Software
Testing
Models
Infeasible paths
Mutations
Testing tools
Date :29-02-2016
Licence :

File: Theophilopoulos_2016.pdf

Type: application/pdf