Λογότυπο αποθετηρίου

Πλοήγηση ανά Συγγραφέα "Sotiropoulos, Thodoris"

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Α Β Γ Δ Ε Ζ Η Θ Ι Κ Λ Μ Ν Ξ Ο Π Ρ Σ Τ Υ Φ Χ Ψ Ω
Φιλτράρετε τα αποτελέσματα πληκτρολογώντας τα πρώτα γράμματα
Τώρα δείχνει 1 - 1 από 1
  • Μικρογραφία εικόνας
    Τεκμήριο
    Abstractions for software testing
    (2022-10-03) Σωτηρόπουλος, Θοδωρής; Sotiropoulos, Thodoris; Athens University of Economics and Business, Department of Management Science and Technology; Louridas, Panagiotis; Mitropoulos, Dimitrios; Chatziantoniou, Damianos; Voulgaris, Spyridon; Smaragdakis, Ioannis; Chatzigeorgiou, Alexandros; Spinellis, Diomidis
    Οι προγραμματιστές στην βιομηχανία του λογισμικού ξοδεύουν σημαντικό μέρος του χρόνου τους στην δοκιμή του λογισμικού τους και στην διόρθωση σφαλμάτων λογισμικού. Για να γίνει αυτό πιο αποτελεσματικά, υιοθετούν αυτοματοποιημένα εργαλεία εύρεσης σφαλμάτων στη διαδικασία ανάπτυξής του λογισμικού τους. Τέτοια εργαλεία εύρεσης σφαλμάτων βασίζονται στην ανάλυση του κώδικα ή τεχνικές ελέγχου λογισμικού και ο στόχος τους είναι ο εντοπισμός σφαλμάτων λογισμικού, που διαφορετικά θα ήταν δύσκολο να αποκαλυφθούν μέσω χειροκίνητων δοκιμών.Μία τρέχουσα πρόκληση στον αυτόματο έλεγχο λογισμικού είναι η ανίχνευση βαθιά κρυμμένων ελαττωμάτων σε λογισμικό που παρουσιάζει περίπλοκη λειτουργικότητα. Τέτοιου είδους σφάλματα είναι πολύ εύκολο να παραμείνουν απαρατήρητα, δεδομένου ότι το λογισμικό δεν εμφανίζει προειδοποιήσεις ή άλλες αστοχίες κατά την εκτέλεσή του. Επίσης, ένα άλλο σημαντικό μειονέκτημα των υπαρχόντων εργαλείων για ανίχνευσης σφαλμάτων λογισμικού είναι η περιορισμένη εφαρμοσιμότητά τους. Πράγματι, πολλά από αυτά τα εργαλεία είναι προσαρμοσμένα για συγκεκριμένο είδος λογισμικού.Η διατριβή ερευνά την βελτίωση της αποτελεσματικότητας του αυτόματου ελέγχου λογισμικού εισάγοντας τεχνικές αφαίρεσης στην διεργασία του ελέγχου. Ο σκοπός αυτών των τεχνικών αφαίρεσης είναι η δημιουργία μια κοινής πλατφόρμας για τον εντοπισμό σφαλμάτων σε συστήματα και προγράμματα λογισμικού που παρουσιάζουν ανομοιογενείς λειτουργικότητες, διεπαφές ή σημασιολογίες. Η παρούσα διατριβή εισάγει δύο τεχνικές αφαίρεσης και μέσω αυτών, λύνει τρία σημαντικά προβλήματα: την αυτόματη ανίχνευση (1) σφαλμάτων τύπων σε μεταγλωττιστές, (2) σφαλμάτων σε λογισμικό οδηγούμενο από τα δεδομένα, και (3) σφαλμάτων εξαρτήσεων στους πόρους του συστήματος αρχείων.Η εργασία που παρουσιάστηκε σε αυτή τη διατριβή βελτίωσε ουσιαστικά την αξιοπιστία του καθιερωμένου λογισμικού που χρησιμοποιείται από εκατομμύρια χρήστες και εφαρμογές. Συνολικά, οι τεχνικές και τα εργαλεία εύρεσης σφαλμάτων μας οδήγησαν στην αποκάλυψη και τη διόρθωση περισσότερων από 400 σφαλμάτων που βρέθηκαν σε δημοφιλή συστήματα λογισμικού.Αυτή η διατριβή παρουσιάζει πρακτικό αντίκτυπο στη βιομηχανία λογισμικού και ανοίγει νέες ερευνητικές ευκαιρίες που σχετίζονται με την εφαρμογή εννοιών γλώσσων προγραμματισμού στον έλεγχο του λογισμικού.