Static analysis for safe software upgrade

被引：0
|
作者：
Ferencz, Daniel [1 ]
Toth, Melinda [1 ]
机构：
[1] Eotvos Lorand Univ, Budapest, Hungary
来源：
ANNALES MATHEMATICAE ET INFORMATICAE | 2023年 / 58卷
关键词：
Erlang; static analysis; software upgrade; hot code load;
D O I：
10.33039/ami.2023.08.010
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
Having applications accessible without downtime is no longer an exclusive requirement of mission-critical applications or traditional domains like communications. Running applications also require changes in the source code and upgrading live systems. Different approaches exist depending on the used technology. Systems implemented in Erlang can take the advantage of the underlying BEAM virtual machine and can be upgraded easily. However, source code has to be developed carefully once an upgrade is needed to not introduce run-time errors during the upgrade. We are developing a method to statically check the source code of Erlang applications for constructs that may lead to upgrading issues.
引用
收藏
页码：9 / 19
页数：11
相关论文
共 50 条
  • [31] On the value of static analysis for fault detection in software
    Zheng, J
    Williams, L
    Nagappan, N
    Snipes, W
    Hudepohl, JP
    Vouk, MA
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2006, 32 (04) : 240 - 253
  • [32] Interactive Static Software Performance Analysis in the IDE
    Beigelbeck, Aaron
    Aniche, Mauricio
    Cito, Jurgen
    2021 IEEE/ACM 29TH INTERNATIONAL CONFERENCE ON PROGRAM COMPREHENSION (ICPC 2021), 2021, : 490 - 494
  • [33] Static and dynamic complexity analysis of software metrics
    Kaur, Kamaljit
    Minhas, Kirti
    Mehan, Neha
    Kakkar, Namita
    World Academy of Science, Engineering and Technology, 2009, 56 : 159 - 161
  • [34] On the role of static analysis during software maintenance
    von Mayrhauser, A
    Lang, S
    SEVENTH INTERNATIONAL WORKSHOP ON PROGRAM COMPREHENSION, PROCEEDINGS, 1999, : 170 - 177
  • [35] Retargetable static timing analysis for embedded software
    Chen, KY
    Malik, S
    August, DI
    ISSS'01: 14TH INTERNATIONAL SYMPOSIUM ON SYSTEM SYNTHESIS, 2001, : 39 - 44
  • [36] Static analysis for safe destructive updates in a functional language
    Shankar, N
    LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2002, 2372 : 1 - 24
  • [37] software technology Ensuring the Integrity of Embedded Software with Static Code Analysis
    Chelf, Ben
    Ebert, Christof
    IEEE SOFTWARE, 2009, 26 (03) : 96 - 99
  • [38] Safe process state upgrades through static analysis
    Ferenczi, Daniel
    Toth, Melinda
    18TH INTERNATIONAL SYMPOSIUM ON APPLIED COMPUTATIONAL INTELLIGENCE AND INFORMATICS, SACI 2024, 2024, : 351 - 356
  • [39] Comprehensive Analysis to Specify a Static Var Compensator for an Electric Arc Furnace Upgrade
    Morello, Sam
    Dionise, Thomas J.
    Mank, Thomas L.
    IEEE TRANSACTIONS ON INDUSTRY APPLICATIONS, 2015, 51 (06) : 4840 - 4852
  • [40] Functional Hazard Analysis for Engineering Safe Software Requirements
    Tran, Vu N.
    Tran, Long, V
    Tran, Viet N.
    2021 4TH INTERNATIONAL CONFERENCE ON INFORMATION AND COMPUTER TECHNOLOGIES (ICICT 2021), 2021, : 142 - 148
12345