SEApr 10, 2018

ConPredictor: Concurrency Defect Prediction in Real-World Applications

arXiv:1804.03589v150 citationsHas Code
Originality Incremental advance
AI Analysis

This work addresses the challenge of defect prediction for concurrent programs, a domain-specific problem for software developers, and is incremental as it extends existing machine learning methods to a new program type.

The paper tackled the problem of predicting defects in concurrent programs, which are difficult to test due to non-determinism, by introducing ConPredictor, an approach that combines static and dynamic metrics, and showed improved performance in within-project and cross-project defect prediction on four large open-source projects.

Concurrent programs are difficult to test due to their inherent non-determinism. To address this problem, testing often requires the exploration of thread schedules of a program; this can be time-consuming when applied to real-world programs. Software defect prediction has been used to help developers find faults and prioritize their testing efforts. Prior studies have used machine learning to build such predicting models based on designed features that encode the characteristics of programs. However, research has focused on sequential programs; to date, no work has considered defect prediction for concurrent programs, with program characteristics distinguished from sequential programs. In this paper, we present ConPredictor, an approach to predict defects specific to concurrent programs by combining both static and dynamic program metrics. Specifically, we propose a set of novel static code metrics based on the unique properties of concurrent programs. We also leverage additional guidance from dynamic metrics constructed based on mutation analysis. Our evaluation on four large open source projects shows that ConPredictor improved both within-project defect prediction and cross-project defect prediction compared to traditional features.

Foundations

The foundational work for this paper's niche, ranked by how specifically the neighbourhood builds on it — not by global fame.

Your Notes