Supporting software evolution in component-based FOSS systems.

Roberto Di Cosmo (1) , Davide Di Ruscio (2) , Patrizio Pelliccione (3) , Alfonso Pierantonio (2) , Stefano Zacchiroli (1)

1 PPS - Preuves, Programmes et Systèmes
2 DI - Dipartimento di Informatica [Italy]
3 UNIVAQ - University of L'Aquila [Italy]

FOSS (Free and Open Source Software) systems present interesting challenges in system evolution. On one hand, most FOSS systems are based on very fine-grained units of software deployment-called packages-which promote system evolution; on the other hand, FOSS systems are among the largest software systems known and require sophisticated static and dynamic conditions to be verified, in order to successfully deploy upgrades on users' machines. The slightest error in one of these conditions can turn a routine upgrade into a system administrator's nightmare. In this paper we introduce a model-based approach to support the upgrade of FOSS systems. The approach promotes the simulation of upgrades to predict failures before affecting the real system. Both fine-grained static aspects (e.g. configuration incoherences) and dynamic aspects (e.g. the execution of configuration scripts) are taken into account, improving over the state of the art of upgrade planners. The effectiveness of the approach is validated by instantiating the approach to widely-used FOSS distributions.

Domaines: Langage de programmation [cs.PL]

Roberto Di Cosmo, Davide Di Ruscio, Patrizio Pelliccione, Alfonso Pierantonio, Stefano Zacchiroli. Supporting software evolution in component-based FOSS systems.. Science of Computer Programming, 2011, 76 (12), pp.1144-1160. ⟨10.1016/j.scico.2010.11.001⟩. ⟨hal-00622823⟩