Mining Component Repositories for Installability Issues

被引:11
作者
Abate, Pietro [1 ]
Di Cosmo, Roberto [1 ,3 ]
Gesbert, Louis [2 ]
Le Fessant, Fabrice [1 ,2 ]
Treinen, Ralf [3 ]
Zacchiroli, Stefano [3 ]
机构
[1] INRIA, Lorraine, France
[2] OCamlPro, Gif Sur Yvette, France
[3] Univ Paris Diderot, Sorbonne Paris Cite, PPS, CNRS,UMR 7126, F-75205 Paris, France
来源
12TH WORKING CONFERENCE ON MINING SOFTWARE REPOSITORIES (MSR 2015) | 2015年
关键词
EVOLUTION;
D O I
10.1109/MSR.2015.10
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Component repositories play an increasingly relevant role in software life-cycle management, from software distribution to end-user, to deployment and upgrade management. Software components shipped via such repositories are equipped with rich metadata that describe their relationship (e.g., dependencies and conflicts) with other components. In this practice paper we show how to use a tool, distcheck, that uses component metadata to identify all the components in a repository that cannot be installed (e.g., due to unsatisfiable dependencies), provides detailed information to help developers understanding the cause of the problem, and fix it in the repository. We report about detailed analyses of several repositories: the Debian distribution, the OPAM package collection, and Drupal modules. In each case, distcheck is able to efficiently identify not installable components and provide valuable explanations of the issues. Our experience provides solid ground for generalizing the use of distcheck to other component repositories.
引用
收藏
页码:24 / 33
页数:10
相关论文
共 22 条
[1]  
Abate P., 2011, CBSE 2011
[2]   Learning from the future of component repositories [J].
Abate, Pietro ;
Di Cosmo, Roberto ;
Treinen, Ralf ;
Zacchiroli, Stefano .
SCIENCE OF COMPUTER PROGRAMMING, 2014, 90 :93-115
[3]   Dependency solving: A separate concern in component evolution management [J].
Abate, Pietro ;
Di Cosmo, Roberto ;
Treinen, Ralf ;
Zacchiroli, Stefano .
JOURNAL OF SYSTEMS AND SOFTWARE, 2012, 85 (10) :2228-2240
[4]  
Barth A., 2014, DEBIAN DEV REFERENCE
[5]  
Bavota G, 2014, EMPIR SOFTW ENG, V20, P1
[6]  
Caneill M, 2014, ESEM 2014
[7]   NixOS: A purely functional Linux distribution [J].
Dolstra, Eelco ;
Loh, Andres ;
Pierron, Nicolas .
JOURNAL OF FUNCTIONAL PROGRAMMING, 2010, 20 :577-615
[8]  
Dumitras T, 2009, LECT NOTES COMPUT SC, V5896, P349, DOI 10.1007/978-3-642-10445-9_18
[9]   An extensible SAT-solver [J].
Eén, N ;
Sörensson, N .
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, 2004, 2919 :502-518
[10]  
Fleurey Franck, 2007, DEBIAN POLICY MANUAL