1. Home page
  2. Search

Dynamic systematic testing of concurrent Erlang programs

This item is provided by the institution :
National Technical University of Athens   

Repository :
Digital Library of National Technical University of Athens | Dspace@NTUA   

see the original item page
in the repository's web site and access all digital files if the item*



Δυναμικός συστηματικός έλεγχος ταυτόχρονων προγραμμάτων Erlang (EN)
Dynamic systematic testing of concurrent Erlang programs (EN)
Γκότοβος, Άλκης Σ. (EL)
Gotovos, Alkis S. (EN)
Σαγώνας, Κωνσταντίνος (EL)
Κοντογιάννης, Κώστας (EL)
Παπασπύρου, Νικόλαος (EL)
bachelorThesis
2011-06-27
2011-06-27T13:37:30Z
2011-06-14
Άλκης Σ. Γκότοβος (EL)
Ο ταυτόχρονος προγραμματισμός έχει γίνει δημοφιλής την τελευταία δεκαετία, αλλά είναι ιδιαίτερα επιρρεπής σε λάθη. Ακόμη χειρότερα, τα παραδοσιακά εργαλεία ελέγχου είναι αναποτελεσματικά όταν πρόκειται να ελέγξουν ταυτόχρονο κώδικα. Σε αυτή την εργασία παρουσιάζουμε το Concuerror, ένα εργαλείο ελέγχου ταυτόχρονων προγραμμάτων σε Erlang, το οποίο αποσκοπεί στη διευκόλυνση της ανίχνευσης και εξάλειψης λαθών ταυτοχρονισμού. Περγράφουμε την υποδομή που αναπτύχθηκε, καθώς και τις τεχνικές που χρησιμοποιήθηκαν για να κάνουμε το Concuerror πιο αποδοτικό. Επίσης, παρουσιάζουμε ένα εκτενές παράδειγμα χρήσης του Concuerror για test-driven development. (EL)
67 σ. (EL)
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)
Ανάπτυξη οδηγούμενη από τεστ (EL)
Ταυτοχρονισμός (EL)
Έρλανγκ (EL)
Έλεγχος μοντέλων (EL)
Έλεγχος λογισμικού (EL)
Software testing (EN)
Test-driven development (EN)
Concurrency (EN)
Model checking (EN)
Erlang (EN)
Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών. Τομέας Τεχνολογίας, Πληροφορικής & Υπολογιστών. Εργαστήριο Τεχνολογίας Λογισμικού (EL)
ETDFree-policy.xml (EN)
National Technical University of Athens
Digital Library of National Technical University of Athens | Dspace@NTUA
Κεντρική Βιβλιοθήκη Ε.Μ.Π.
Ιδρυματικό Αποθετήριο
Διπλωματικές Εργασίες



*Institutions are responsible for keeping their URLs functional (digital file, item page in repository site)