Παρακαλώ χρησιμοποιήστε αυτό το αναγνωριστικό για να παραπέμψετε ή να δημιουργήσετε σύνδεσμο προς αυτό το τεκμήριο: http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/15982
Τίτλος: Dynamic Systematic Testing Of Concurrent Erlang Programs
Συγγραφείς: Άλκης Γκότοβος (alkis Gotovos)
Σαγώνας Κωστής
Λέξεις κλειδιά: concurrency
software testing
model checking
test-driven development
erlang
Ημερομηνία έκδοσης: 17-Ιου-2011
Περίληψη: 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 detecing and eliminating concurrency-related errors. Concuerror relies on systematically exploring process interleaving to reveal such 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.
URI: http://artemis-new.cslab.ece.ntua.gr:8080/jspui/handle/123456789/15982
Εμφανίζεται στις συλλογές:Διπλωματικές Εργασίες - Theses

Αρχεία σε αυτό το τεκμήριο:
Αρχείο ΜέγεθοςΜορφότυπος 
DT2011-0081.pdf3.01 MBAdobe PDFΕμφάνιση/Άνοιγμα


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