Package Upgrade Robustness: An Analysis for GNU/Linux® Package Management Systems

  • John Thomson
  • Andre Guerreiro
  • Paulo Trezentos
  • Jeff Johnson
Conference paper
Part of the IFIP Advances in Information and Communication Technology book series (IFIPAICT, volume 365)


GNU/Linux systems are today used in servers, desktops, mobile and embedded devices. One of the critical operations is the installation and maintenance of software packages in the system. Currently there are no frameworks or tools for evaluating Package Management Systems (PMSs), such as RPM, in Linux and for measuring their reliability. The authors perform an analysis of the robustness of the RPM engine and discuss some of the current limitations. This article contributes to the enhancement of Software Reliability in Linux by providing a framework and testing tools under an open source license. These tools can easily be extended to other PMSs such as DEB packages or Gentoo Portage.


  1. 1.
    Barata, P., Trezentos, P., Lynce, I., di Ruscio, D.: Survey of the state of the art technologies. Mancoosi project deliverable D3.1, Mancoosi (June 2009)Google Scholar
  2. 2.
    Crameri, O., Knezevic, N., Kostic, D., Bianchini, R., Zwaenepoel, W.: Staged deployment in mirage, an integrated software upgrade testing and distribution system. SIGOPS Oper. Syst. Rev. 41(6), 221–236 (2007)CrossRefGoogle Scholar
  3. 3.
    Di Ruscio, D., Thomson, J., Pelliccione, P., Pierantonio, A.: First version of the DSL. Mancoosi Project deliverable D3.2, Mancoosi (November 2009),
  4. 4.
    Duraes, J.A., Madeira, H.S.: Emulation of software faults: A field data study and a practical approach. IEEE Transactions on Software Engineering 32, 849–867 (2006)CrossRefGoogle Scholar
  5. 5.
    Le Berre, D., Parrain., A.: On SAT technologies for dependency management and beyond. In: ASPL (2008)Google Scholar
  6. 6.
    Madeira, H., Costa, D., Vieira, M.: On the emulation of software faults by software fault injection. In: DSN 2000, pp. 417–426. IEEE Computer Society, Washington, DC (2000)Google Scholar
  7. 7.
    Mancinelli, F., Boender, J., Di Cosmo, R., Vouillon, J., Durak, B., Leroy, X., Treinen, R.: Managing the complexity of large free and open source package-based software distributions. In: ASE, pp. 199–208 (2006)Google Scholar
  8. 8.
    Manquinho, V., Marques-Silva, J., Planes, J.: Algorithms for weighted boolean optimization. In: Kullmann, O. (ed.) SAT 2009. LNCS, vol. 5584, pp. 495–508. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  9. 9.
    Trezentos, P., Lynce, I., Oliveira, A.L.: Apt-pbo: solving the software dependency problem using pseudo-boolean optimization. In: ASE 2010, pp. 427–436. ACM Press, New York (2010), Google Scholar
  10. 10.
    Voas, J.: Fault injection for the masses. Computer 30(12), 129–130 (1997)CrossRefGoogle Scholar
  11. 11.
    Yoon, I.C., Sussman, A., Memon, A., Porter, A.: Effective and scalable software compatibility testing. In: ISSTA 2008, pp. 63–74. ACM, New York (2008)CrossRefGoogle Scholar
  12. 12.
    Zacchiroli, S., Cosmo, R.D., Trezentos, P.: Package upgrades in foss distributions: Details and challenges. In: First ACM Workshop on HotSWUp (October 2008)Google Scholar

Copyright information

© IFIP International Federation for Information Processing 2011

Authors and Affiliations

  • John Thomson
    • 1
  • Andre Guerreiro
    • 1
  • Paulo Trezentos
    • 1
  • Jeff Johnson
    • 2
  1. 1.Caixa Mágica SoftwareEdificio Espanha - Rua Soeiro Pereira GomesLisboaPortugal

Personalised recommendations