Τεχνικές αφαίρεσης για τον έλεγχο λογισμικού

Περίληψη

Οι προγραμματιστές στην βιομηχανία του λογισμικού ξοδεύουν σημαντικό μέρος του χρόνου τους στην δοκιμή του λογισμικού τους και στην διόρθωση σφαλμάτων λογισμικού. Για να γίνει αυτό πιο αποτελεσματικά, υιοθετούν αυτοματοποιημένα εργαλεία εύρεσης σφαλμάτων στη διαδικασία ανάπτυξής του λογισμικού τους. Τέτοια εργαλεία εύρεσης σφαλμάτων βασίζονται στην ανάλυση του κώδικα ή τεχνικές ελέγχου λογισμικού και ο στόχος τους είναι ο εντοπισμός σφαλμάτων λογισμικού, που διαφορετικά θα ήταν δύσκολο να αποκαλυφθούν μέσω χειροκίνητων δοκιμών.Μία τρέχουσα πρόκληση στον αυτόματο έλεγχο λογισμικού είναι η ανίχνευση βαθιά κρυμμένων ελαττωμάτων σε λογισμικό που παρουσιάζει περίπλοκη λειτουργικότητα. Τέτοιου είδους σφάλματα είναι πολύ εύκολο να παραμείνουν απαρατήρητα, δεδομένου ότι το λογισμικό δεν εμφανίζει προειδοποιήσεις ή άλλες αστοχίες κατά την εκτέλεσή του. Επίσης, ένα άλλο σημαντικό μειονέκτημα των υπαρχόντων εργαλείων για ανίχνευσης σφαλμάτων λογισμικού είναι η περιορισμένη εφαρμοσιμότητά τους. Πρ ...
περισσότερα

Περίληψη σε άλλη γλώσσα

Developers spend considerable amount of their time in testing their software and fixing software bugs. To do so more effectively, they automate the process of finding deep software bugs that are challenging to uncover via manually-written test cases by integrating automated bug-finding tools in the software development process. A challenge of automated bug detection is the identification of subtle and latent defects in software that involves complex functionality. This is because such bugs are easy to remain unnoticed as the software under test does not complain with warnings or other runtime failures (e.g., crashes) during its execution. Another shortcoming of many existing bug-finding tools is their limited applicability. Indeed, many of them are tailored to specific piece of software. To tackle the aforementioned issues, this thesis investigates ways for improving the effectiveness and applicability of automated software testing by introducing different forms of abstractions in test ...
περισσότερα

Όλα τα τεκμήρια στο ΕΑΔΔ προστατεύονται από πνευματικά δικαιώματα.

DOI
10.12681/eadd/52667
Διεύθυνση Handle
http://hdl.handle.net/10442/hedi/52667
ND
52667
Εναλλακτικός τίτλος
Abstractions for software testing
Συγγραφέας
Σωτηρόπουλος, Θεόδωρος (Πατρώνυμο: Δημήτριος)
Ημερομηνία
2022
Ίδρυμα
Οικονομικό Πανεπιστήμιο Αθηνών. Σχολή Διοίκησης Επιχειρήσεων. Τμήμα Διοικητικής Επιστήμης και Τεχνολογίας
Εξεταστική επιτροπή
Σπινέλλης Διομήδης
Λουρίδας Παναγιώτης
Μητρόπουλος Δημήτριος
Βούλγαρης Σπυρίδων
Σμαραγδάκης Ιωάννης
Χατζηαντωνίου Δαμιανός
Χατζηγεωργίου Αλέξανδρος
Επιστημονικό πεδίο
Φυσικές ΕπιστήμεςΕπιστήμη Ηλεκτρονικών Υπολογιστών και Πληροφορική ➨ Επιστήμη ηλεκτρονικών υπολογιστών
Φυσικές ΕπιστήμεςΕπιστήμη Ηλεκτρονικών Υπολογιστών και Πληροφορική ➨ Λογισμικό (software)
Λέξεις-κλειδιά
Έλεγχος λογισμικών συστημάτων; Σφάλματα λογισμικών συστήματων; Εντοπισμός σφαλμάτων; Ανάλυση προγράμματος; Τυχαιοποιημένος έλεγχος
Χώρα
Ελλάδα
Γλώσσα
Αγγλικά
Άλλα στοιχεία
εικ., πιν., σχημ., γραφ.
Στατιστικά χρήσης
ΠΡΟΒΟΛΕΣ
Αφορά στις μοναδικές επισκέψεις της διδακτορικής διατριβής για την χρονική περίοδο 07/2018 - 07/2023.
Πηγή: Google Analytics.
ΞΕΦΥΛΛΙΣΜΑΤΑ
Αφορά στο άνοιγμα του online αναγνώστη για την χρονική περίοδο 07/2018 - 07/2023.
Πηγή: Google Analytics.
ΜΕΤΑΦΟΡΤΩΣΕΙΣ
Αφορά στο σύνολο των μεταφορτώσων του αρχείου της διδακτορικής διατριβής.
Πηγή: Εθνικό Αρχείο Διδακτορικών Διατριβών.
ΧΡΗΣΤΕΣ
Αφορά στους συνδεδεμένους στο σύστημα χρήστες οι οποίοι έχουν αλληλεπιδράσει με τη διδακτορική διατριβή. Ως επί το πλείστον, αφορά τις μεταφορτώσεις.
Πηγή: Εθνικό Αρχείο Διδακτορικών Διατριβών.
Σχετικές εγγραφές (με βάση τις επισκέψεις των χρηστών)