 |
PREUVES, PROGRAMMES et SYSTÈMES |  |
|
PREUVES, PROGRAMMES et SYSTÈMES | |
| HAL : hal-00628589, version 2 |
| arXiv : 1110.1354 |
| Fiche détaillée |  Récupérer au format |
 |
| LoCoCo 2011 International Workshop on Logics for Component Configuration, Perugia : Italie (2011) |
|
|
| Versions disponibles : | v1 (03-10-2011) | v2 (06-10-2011) |
|
|
|
|
| Sources of Inter-package Conflicts in Debian |
|
|
| Cyrille Artho 1Roberto Di Cosmo 2 |
|
|
| (2011) |
|
|
|
| Inter-package conflicts require the presence of two or more packages in a particular configuration, and thus tend to be harder to detect and localize than conventional (intra-package) defects. Hundreds of such inter-package conflicts go undetected by the normal testing and distribution process until they are later reported by a user. The reason for this is that current meta-data is not fine-grained and accurate enough to cover all common types of conflicts. A case study of inter-package conflicts in Debian has shown that with more detailed package meta-data, at least one third of all package conflicts could be prevented relatively easily, while another one third could be found by targeted testing of packages that share common resources or characteristics. This paper reports the case study and proposes ideas to detect inter-package conflicts in the future. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Research Center for Information Security (RCIS) |
|
|
|
National Institute of Advanced Industrial Science and Technology (AIST) |
|
|
| 2 : | Preuves, Programmes et Systèmes (PPS) |
|
|
|
CNRS : UMR7126 – Université Paris VII - Paris Diderot |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Génie logiciel |
|
|
|
|
| hal-00628589, version 2 | |
| http://hal.archives-ouvertes.fr/hal-00628589 | |
| oai:hal.archives-ouvertes.fr:hal-00628589 | |
| Contributeur : Stefano Zacchiroli | |
| Soumis le : Mercredi 5 Octobre 2011, 10:40:59 | |
| Dernière modification le : Jeudi 6 Octobre 2011, 21:22:00 | |
