Dynamic systematic testing of concurrent Erlang programs

DSpace/Manakin Repository

Show simple item record

dc.contributor.advisor Σαγώνας, Κωνσταντίνος el
dc.contributor.author Γκότοβος, Άλκης Σ. el
dc.contributor.author Gotovos, Alkis S. en
dc.date.accessioned 2011-06-27T13:37:30Z
dc.date.available 2011-06-27T13:37:30Z
dc.date.copyright 2011-06-27 -
dc.date.issued 2011-06-27
dc.date.submitted 2011-06-27 -
dc.identifier.uri https://dspace.lib.ntua.gr/xmlui/handle/123456789/4618
dc.identifier.uri http://dx.doi.org/10.26240/heal.ntua.7193
dc.description 67 σ. el
dc.description.abstract Ο ταυτόχρονος προγραμματισμός έχει γίνει δημοφιλής την τελευταία δεκαετία, αλλά είναι ιδιαίτερα επιρρεπής σε λάθη. Ακόμη χειρότερα, τα παραδοσιακά εργαλεία ελέγχου είναι αναποτελεσματικά όταν πρόκειται να ελέγξουν ταυτόχρονο κώδικα. Σε αυτή την εργασία παρουσιάζουμε το Concuerror, ένα εργαλείο ελέγχου ταυτόχρονων προγραμμάτων σε Erlang, το οποίο αποσκοπεί στη διευκόλυνση της ανίχνευσης και εξάλειψης λαθών ταυτοχρονισμού. Περγράφουμε την υποδομή που αναπτύχθηκε, καθώς και τις τεχνικές που χρησιμοποιήθηκαν για να κάνουμε το Concuerror πιο αποδοτικό. Επίσης, παρουσιάζουμε ένα εκτενές παράδειγμα χρήσης του Concuerror για test-driven development. el
dc.description.abstract Concurrent programming has become increasingly popular in the last decade; yet, it is notoriously error-prone. Even worse, traditional testing tools are largely inadequate when it comes to checking concurrent code. In this thesis we introduce Concuerror, a testing tool for concurrent Erlang programs, that aims to facilitate the task of detecting and eliminating concurrency-related errors. We describe the infrastructure that was developed to support this task, as well as the techniques that were used to make Concuerror more efficient. We also present an extended example of using Concuerror in practice for test-driven development. 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 Έρλανγκ el
dc.subject Concurrency en
dc.subject Software testing en
dc.subject Model checking en
dc.subject Test-driven development en
dc.subject Erlang en
dc.title Dynamic systematic testing of concurrent Erlang programs en
dc.title.alternative Δυναμικός συστηματικός έλεγχος ταυτόχρονων προγραμμάτων Erlang en
dc.type bachelorThesis el (en)
dc.date.accepted 2011-06-14 -
dc.date.modified 2011-06-27 -
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 2011-06-27 -
dc.date.recordmanipulation.recordmodified 2011-06-27 -

Files in this item

This item appears in the following Collection(s)

Show simple item record