1. Αρχική σελίδα
  2. Αναζήτηση

Συστηματικός έλεγχος παράλληλων προγραμμάτων γραμμένων σε Erlang

Το τεκμήριο παρέχεται από τον φορέα :
Εθνικό Μετσόβιο Πολυτεχνείο   

Αποθετήριο :
Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA   

δείτε την πρωτότυπη σελίδα τεκμηρίου
στον ιστότοπο του αποθετηρίου του φορέα για περισσότερες πληροφορίες και για να δείτε όλα τα ψηφιακά αρχεία του τεκμηρίου*



Συστηματικός έλεγχος παράλληλων προγραμμάτων γραμμένων σε Erlang (EL)
Systematic Testing of Concurrent Erlang Programs: Some Experiences (EN)
Τσιτσιμπής, Ηλίας Β. (EL)
Tsitsimpis, Ilias V. (EN)
Σαγώνας, Κωνσταντίνος (EL)
Κοζύρης, Άρης (EL)
Παπασπύρου, Νικόλαος (EL)
bachelorThesis
2013-12-20
2013-12-13
2014-04-10T06:44:20Z
2014-04-10
Ηλίας Β. Τσιτσιμπής (EL)
Στις μέρες μας παρατηρείται μια αυξανόμενη τάση χρησιμοποίησης παράλληλων τεχνικών στον προγραμματισμό. Αυτό εξηγείται τόσο από την αύξηση των επεξεργαστών που περι- λαμβάνονται πλέον σε κάθε προσωπικό υπολογιστή, όσο και από την δημιουργία και ανάπτυξη υπηρεσιών Cloud. Ωστόσο ο παράλληλος προγραμματισμός εισάγει μια σειρά από σφάλματα τα οποία δεν υπάρχουν στο σειριακό προγραμματισμό και τα οποία τα συνηθισμένα εργαλεία αποσφαλμάτωσης δεν μπορούν να εντοπίσουν. Σε αυτή τη διπλωματική μελετάμε τον Concuerror, ένα εργαλείο ελέγχου προγραμμάτων γραμμένων σε Erlang το οποίο μπορεί να χρησιμοποιηθεί για τον εντοπισμό λαθών που εισά- γονται από τον ταυτοχρονισμό. Επίσης εξετάζουμε κατά πόσο ένα τέτοιο εργαλείο μπορεί να χρησιμοποιηθεί από μεγάλα projects (χιλιάδες γραμμές κώδικα), τα οποία μπορεί να χρησιμο- ποιούν αρκετές από τις βιβλιοθήκες της υλοποίησης της Erlang και να υλοποιούν περίπλοκα πρωτόκολλα επικοινωνίας. (EL)
58 σ. (EL)
Concurrent programming has become increasingly widely used in the last decade. This can be explained by the increasing number of multiprocessor personal computers and the new trend of Cloud computing. Nevertheless, concurrent programming introduces a number of new errors not seen in sequential programming and which traditional testing tools largely cannot easily detect. In this thesis we study Concuerror, a testing tool for concurrent Erlang programs, that aims to facilitate the task of detecting and eliminating concurrency-related errors. We also examine how Concuerror can be used in practice to test projects with thousands of lines of code, which may use many system libraries and implement complex communication protocols. (EN)
Ανάπτυξη οδηγούμενη από τεστς (EL)
Δοκιμή λογισμικού (EL)
Δοκιμή μοντέλου (EL)
Παραλληλισμός (EL)
Software testing (EN)
Test-driven development (EN)
Concurrency (EN)
Model checking (EN)
Erlang (EN)
Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών. Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών. Εργαστήριο Τεχνολογίας Λογισμικού (EL)
ETDFree-policy.xml (EN)
Εθνικό Μετσόβιο Πολυτεχνείο
Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
Κεντρική Βιβλιοθήκη Ε.Μ.Π.
Ιδρυματικό Αποθετήριο
Διπλωματικές Εργασίες



*Η εύρυθμη και αδιάλειπτη λειτουργία των διαδικτυακών διευθύνσεων των συλλογών (ψηφιακό αρχείο, καρτέλα τεκμηρίου στο αποθετήριο) είναι αποκλειστική ευθύνη των αντίστοιχων Φορέων περιεχομένου.