An Extensible Active Testing Framework for Concurrent Programs

TitleAn Extensible Active Testing Framework for Concurrent Programs
Publication TypeConference Paper
Year of Publication2009
AuthorsJoshi, P., Naik M., Park C. - S., & Sen K.
Conference NameComputer Aided Verification 2009 (CAV2009)
PublisherSpringer Berlin / Heidelberg
Conference LocationGrenoble, France
Abstract

Active testing has recently been introduced to effectively test concurrent programs. Active testing works in two phases. It first uses predictive off-the-shelf static or dynamic program analyses to identify potential concurrency bugs, such as data races, deadlocks, and atomicity violations. In the second phase, active testing uses the reports from these predictive analyses to explicitly control the underlying scheduler of the concurrent program to accurately and quickly discover real concurrency bugs, if any, with very high probability and little overhead. In this paper, we present an extensible framework for active testing of Java programs. The framework currently implements three active testers based on data races, atomic blocks, and deadlocks.

DOI10.1007/978-3-642-02658-4
AttachmentSize
Active Testing Framework-CAV2009.pdf103.41 KB