Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering - FSE '10最新文献

筛选

英文中文

PENELOPE 佩内洛普

Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering - FSE '10 Pub Date : 1900-01-01 DOI: 10.1145/1882291.1882300

Francesco Sorrentino, Azadeh Farzan, P. Madhusudan

{"title":"PENELOPE","authors":"Francesco Sorrentino, Azadeh Farzan, P. Madhusudan","doi":"10.1145/1882291.1882300","DOIUrl":"https://doi.org/10.1145/1882291.1882300","url":null,"abstract":"Testing concurrent programs is challenged by the interleaving explosion problem--- the problem of exploring the large number of interleavings a program exhibits, even under a single test input. Rather than try all interleavings, we propose to test wisely: to exercise only those schedules that lead to interleavings that are typical error patterns. In particular, in this paper we select schedules that exercise patterns of interaction that correspond to atomicity violations. Given an execution of a program under a test harness, our technique is to algorithmically mine from the execution a small set of alternate schedules that cause atomicity violations. The program is then re-executed under these predicted atomicity-violating schedules, and verified by the test harness. The salient feature of our tool is the efficient algorithmic prediction and synthesis of alternate schedules that cover all possible atomicity violations at program locations. We implement the tool PENELOPE that realizes this testing framework and show that the monitoring, prediction, and rescheduling (with precise repro) are efficient and effective in finding bugs related to atomicity violations.","PeriodicalId":311615,"journal":{"name":"Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering - FSE '10","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117064532","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 125