Learning from the future of component repositories
| Autor: | Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli |
|---|---|
| Přispěvatelé: | Preuves, Programmes et Systèmes (PPS), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), ACM, Treinen, Ralf |
| Rok vydání: | 2014 |
| Předmět: |
Engineering
Infinite set [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO] Computer science 02 engineering and technology computer.software_genre Order (exchange) Component (UML) 0202 electrical engineering electronic engineering information engineering Class (computer programming) Database business.industry [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] 020207 software engineering Construct (python library) ACM: D.: Software Software distribution Metadata 020201 artificial intelligence & image processing business Software engineering Futures contract computer Quality assurance Software Software evolution |
| Zdroj: | CBSE 15th International ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE-2012) 15th International ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE-2012), ACM, Jun 2012, Bertinoro, Italy |
| ISSN: | 0167-6423 |
| DOI: | 10.1016/j.scico.2013.06.007 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect