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 条
  • [21] A framework for live software upgrade
    Yu, LZ
    Shoja, GC
    Müller, HA
    Srinivasan, A
    13TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS, 2002, : 149 - 158
  • [22] Timing and power measurement in static software analysis
    Wolf, F
    Kruse, J
    Ernst, R
    MICROELECTRONICS JOURNAL, 2002, 33 (1-2): : 91 - 100
  • [23] Static analysis of SEU effects on software applications
    Benso, A
    Di Carlo, S
    Di Natale, G
    Prinetto, P
    INTERNATIONAL TEST CONFERENCE 2002, PROCEEDINGS, 2002, : 500 - 508
  • [24] Toward static timing analysis of parallel software
    Gustavsson, Andreas
    Gustafsson, Jan
    Lisper, Björn
    OpenAccess Series in Informatics, 2012, 23 : 38 - 47
  • [25] An algebraic approach to the static analysis of concurrent software
    Esparza, J
    STATIC ANALYSIS, PROCEEDINGS, 2002, 2477 : 3 - 3
  • [26] Evaluation of Static Analysis Tools for Software Security
    AlBreiki, Hamda Hasan
    Mahmoud, Qusay H.
    2014 10TH INTERNATIONAL CONFERENCE ON INNOVATIONS IN INFORMATION TECHNOLOGY (IIT), 2014, : 93 - 98
  • [27] Improving software quality with static analysis tools
    Lambert, John
    Twenty-Third Annual Pacific Northwest Software Quality Conference, Proceedings, 2005, : 399 - 417
  • [28] An Approach to Static-Dynamic Software Analysis
    Gonzalez-de-Aledo, Pablo
    Sanchez, Pablo
    Huuck, Ralf
    FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS, (FTSCS 2015), 2016, 596 : 225 - 240
  • [29] Software Quality Assurance by Static Program Analysis
    Wilhelm, Reinhard
    SOFTWARE QUALITY: MODEL-BASED APPROACHES FOR ADVANCED SOFTWARE AND SYSTEMS ENGINEERING, 2014, 166 : 1 - 11
  • [30] Static analysis based software architecture recovery
    Guo, J
    Liao, YH
    Pamula, R
    COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2006, PT 3, 2006, 3982 : 974 - 983
12345