Παρακαλώ χρησιμοποιήστε αυτό το αναγνωριστικό για να παραπέμψετε ή να δημιουργήσετε σύνδεσμο προς αυτό το τεκμήριο:
http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/15496
Τίτλος: | Race Condition Detection In Concurrent Erlang Applications Using Static Analysis |
Συγγραφείς: | Μαρία Χρηστάκη Σαγώνας Κωστής |
Λέξεις κλειδιά: | static race detection concurrent languages erlang |
Ημερομηνία έκδοσης: | 28-Σεπ-2009 |
Περίληψη: | In safety-critical and high-reliability concurrent systems, software development and maintenance require great effort. This effort could be significantly reduced if concurrency defects, among other software errors, were identified through automatic tools such as program analyzers and compile-time checkers. We therefore address the problem of finding some commonly occurring kinds of race conditions in Erlang programs using static analysis. Our analysis is completely automatic, fast and scalable, and avoids false alarms by taking language characteristics into account. We have integrated our analysis in a publicly available, commonly used tool for detecting software defects in Erlang programs and evaluate its effectiveness and performance on a suite of widely used industrial and open source programs of considerable size. The number of previously unknown race conditions that we have detected in them is significant. |
URI: | http://artemis-new.cslab.ece.ntua.gr:8080/jspui/handle/123456789/15496 |
Εμφανίζεται στις συλλογές: | Διπλωματικές Εργασίες - Theses |
Αρχεία σε αυτό το τεκμήριο:
Αρχείο | Μέγεθος | Μορφότυπος | |
---|---|---|---|
DT2009-0233.pdf | 418.85 kB | Adobe PDF | Εμφάνιση/Άνοιγμα |
Όλα τα τεκμήρια του δικτυακού τόπου προστατεύονται από πνευματικά δικαιώματα.