ATTENTION/WARNING - NE PAS DÉPOSER ICI/DO NOT SUBMIT HERE

Ceci est la version de TEST de DIAL.mem. Veuillez ne pas soumettre votre mémoire sur ce site mais bien à l'URL suivante: 'https://thesis.dial.uclouvain.be'.
This is the TEST version of DIAL.mem. Please use the following URL to submit your master thesis: 'https://thesis.dial.uclouvain.be'.
 

HotCI: an automated tool for reliable software upgrade/downgrade in Erlang OTP

Zenon, Alexandre
(2024)

Files

Zenon_06041900_2024.pdf
  • Open access
  • Adobe PDF
  • 563.46 KB
Download

Details

Supervisors
Van Roy, Peter
Faculty
Ecole polytechnique de Louvain
Degree label
Master [120] en sciences informatiques, à finalité spécialisée
Abstract
Erlang/OTP is a powerful programming language for building fault-tolerant and scalable applications. One of its key features is the ability to perform hot code upgrades, which allow developers to update code without interrupting the running system. However, this feature is often underutilized because of the perceived complexities in comprehension, implementation, and testing. This thesis aims to solve this issue by introducing a new Continuous Integration/Continuous Delivery (CI/CD) tool called HotCI. HotCI provides a robust way to reliably and semi-automatically test the correctness of hot code upgrades and downgrades. It also offers additional benefits such as static analysis, unit tests, automatic generation of the files needed for the upgrade and release build.