skip to main content
Idioma:
Primo Search
Clear Search Box
Search in: Busca Geral
Busca Avançada
Busca por Índices

Learning from the future of component repositories

Abate, Pietro ; Di Cosmo, Roberto ; Treinen, Ralf ; Zacchiroli, Stefano

Science of computer programming, 2014-09, Vol.90, p.93-115 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
  • Título:
    Learning from the future of component repositories
  • Autor: Abate, Pietro ; Di Cosmo, Roberto ; Treinen, Ralf ; Zacchiroli, Stefano
  • Assuntos: Component repository ; Open source ; Quality assurance ; Software evolution ; Speculative analysis
  • É parte de: Science of computer programming, 2014-09, Vol.90, p.93-115
  • Descrição: An important aspect of the quality assurance of large component repositories is to ensure the logical coherence of component metadata, and to this end one needs to identify incoherences as early as possible. Some relevant classes of problems can be formulated in term of properties of the future repositories into which the current repository may evolve. However, checking such properties on all possible future repositories requires a way to construct a finite representation of the infinite set of all potential futures. A class of properties for which this can be done is presented in this work. 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 are currently not installable and need to be upgraded in order to become installable again. For both applications we provide experience reports obtained on the Debian free software distribution. •We consider quality issues that can arise in future evolutions of software repositories.•We define a class of such issues that is amenable to automatic verification.•Two relevant instances of such a class are identified: outdated and challenged components.•We validate our findings on real-world repositories.
  • Editor: Elsevier B.V
  • Idioma: Inglês
Voltar para lista de resultados

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.