Affiliation:
1. Saarland University, Germany
2. Paderborn University, Germany
3. Leipzig University, Germany
Abstract
Software projects are complex technical and organizational systems involving large numbers of artifacts and developers. To understand and tame software complexity, a wide variety of
program analysis
techniques have been developed for bug detection, program comprehension, verification, and more. At the same time,
repository mining
techniques aim at obtaining insights into the inner socio-technical workings of software projects at a larger scale. While both program analysis and repository mining have been successful on their own, they are largely isolated, which leaves considerable potential for synergies untapped. We present SEAL, the first
integrated
approach that combines low-level program analysis with high-level repository information. SEAL maps repository information, mined from the development history of a project, onto a low-level intermediate program representation, making it available for state-of-the-art program analysis. SEAL’s integrated approach allows us to efficiently address software engineering problems that span multiple levels of abstraction, from low-level data flow to high-level organizational information. To demonstrate its merits and practicality, we use SEAL to determine which code changes modify central parts of a given software project, how authors interact (indirectly) with each other through code, and we demonstrate that putting static analysis’ results into a socio-technical context improves their expressiveness and interpretability.
Funder
Heinz Nixdorf Foundation and the German Research Foundation (DFG) within the Collaborative Research Center 901 “On-The-Fly Computing”
Collaborative Research Center TRR 248 “Perspicuous Computing”
“Pervolution”
“Green Configuration”
“Congruence”
Publisher
Association for Computing Machinery (ACM)
Reference64 articles.
1. Lars Andersen. 1994. Program Analysis and Specialization for the C Programming Language. Ph.D. Dissertation. University of Copenhagen.
2. A few billion lines of code later
3. Shawn Bohner and Robert Arnold. 1996. Software Change Impact Analysis. IEEE.
4. Coordination Breakdowns and Their Impact on Development Productivity and Software Failures
5. Socio-technical congruence
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献