HEAL DSpace

Systematic Testing of Concurrent Erlang Programs: Some Experiences

DSpace/Manakin Repository

Show simple item record

dc.contributor.author Τσιτσιμπής, Ηλίας Β. el
dc.contributor.author Tsitsimpis, Ilias V. en
dc.date.accessioned 2014-04-10T06:44:20Z
dc.date.available 2014-04-10T06:44:20Z
dc.date.copyright 2013-12-20 -
dc.date.issued 2014-04-10
dc.date.submitted 2013-12-20 -
dc.identifier.uri http://hdl.handle.net/123456789/38329
dc.identifier.uri http://dx.doi.org/10.26240/heal.ntua.16898
dc.description 58 σ. el
dc.description.abstract Στις μέρες μας παρατηρείται μια αυξανόμενη τάση χρησιμοποίησης παράλληλων τεχνικών στον προγραμματισμό. Αυτό εξηγείται τόσο από την αύξηση των επεξεργαστών που περι- λαμβάνονται πλέον σε κάθε προσωπικό υπολογιστή, όσο και από την δημιουργία και ανάπτυξη υπηρεσιών Cloud. Ωστόσο ο παράλληλος προγραμματισμός εισάγει μια σειρά από σφάλματα τα οποία δεν υπάρχουν στο σειριακό προγραμματισμό και τα οποία τα συνηθισμένα εργαλεία αποσφαλμάτωσης δεν μπορούν να εντοπίσουν. Σε αυτή τη διπλωματική μελετάμε τον Concuerror, ένα εργαλείο ελέγχου προγραμμάτων γραμμένων σε Erlang το οποίο μπορεί να χρησιμοποιηθεί για τον εντοπισμό λαθών που εισά- γονται από τον ταυτοχρονισμό. Επίσης εξετάζουμε κατά πόσο ένα τέτοιο εργαλείο μπορεί να χρησιμοποιηθεί από μεγάλα projects (χιλιάδες γραμμές κώδικα), τα οποία μπορεί να χρησιμο- ποιούν αρκετές από τις βιβλιοθήκες της υλοποίησης της Erlang και να υλοποιούν περίπλοκα πρωτόκολλα επικοινωνίας. el
dc.description.abstract 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
dc.description.statementofresponsibility Ηλίας Β. Τσιτσιμπής el
dc.language.iso en en
dc.rights ETDFree-policy.xml en
dc.subject Παραλληλισμός el
dc.subject Δοκιμή λογισμικού el
dc.subject Δοκιμή μοντέλου el
dc.subject Ανάπτυξη οδηγούμενη από τεστς el
dc.subject Erlang en
dc.subject Concurrency en
dc.subject Software testing en
dc.subject Model checking en
dc.subject Test-driven development en
dc.title Systematic Testing of Concurrent Erlang Programs: Some Experiences en
dc.title.alternative Συστηματικός έλεγχος παράλληλων προγραμμάτων γραμμένων σε Erlang el
dc.type bachelorThesis el (en)
dc.date.accepted 2013-12-13 -
dc.date.modified 2013-12-20 -
dc.contributor.advisorcommitteemember Παπασπύρου, Νικόλαος el
dc.contributor.advisorcommitteemember Κοζύρης, Άρης el
dc.contributor.committeemember Σαγώνας, Κωνσταντίνος el
dc.contributor.committeemember Παπασπύρου, Νικόλαος el
dc.contributor.committeemember Κοζύρης, Άρης el
dc.contributor.department Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών. Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών. Εργαστήριο Τεχνολογίας Λογισμικού el
dc.date.recordmanipulation.recordcreated 2014-04-10 -
dc.date.recordmanipulation.recordmodified 2014-04-10 -


Files in this item

This item appears in the following Collection(s)

Show simple item record