Learning from the Future of Component Repositories

Abstract : An important aspect of the quality assurance of large component repositories is the logical coherence of component metadata. We argue that it is possible to identify certain classes of such problems by checking relevant properties of the possible future repositories into which the current repository may evolve. In order to make a complete analysis of all possible futures effective however, one needs a way to construct a finite set of representatives of this infinite set of potential futures. We define a class of properties for which this can be done. We illustrate the practical usefulness of the approach with two quality assurance applications: (i) establishing the amount of ''forced upgrades'' induced by introducing new versions of existing components in a repository, and (ii) identifying outdated components that need to be upgraded in order to ever be installable in the future. For both applications we provide experience reports obtained on the Debian distribution.
Type de document :
Communication dans un congrès
15th International ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE-2012), Jun 2012, Bertinoro, Italy. 2012
Liste complète des métadonnées

https://hal.inria.fr/hal-00686923
Contributeur : Ralf Treinen <>
Soumis le : mercredi 11 avril 2012 - 16:26:46
Dernière modification le : jeudi 11 janvier 2018 - 06:17:49

Identifiants

  • HAL Id : hal-00686923, version 1

Collections

PPS | USPC

Citation

Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli. Learning from the Future of Component Repositories. 15th International ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE-2012), Jun 2012, Bertinoro, Italy. 2012. 〈hal-00686923〉

Partager

Métriques

Consultations de la notice

56