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 条
  • [41] Post-Implementation ERP Software Development: Upgrade or Reimplementation
    Domagala, Adam
    Grobler-Debska, Katarzyna
    Was, Jaroslaw
    Kucharska, Edyta
    APPLIED SCIENCES-BASEL, 2021, 11 (11):
  • [42] Identification of Key Classes in Software Systems Based on Static Analysis and Voting Mechanism
    Mao, Caiyun
    Li, Longjie
    Liu, Li
    Ma, Zhixin
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2024, 34 (09) : 1513 - 1535
  • [43] A software upgrade method for micro-electronics medical implants
    Cao, Yang
    Hao, Hongwei
    Xue, Lin
    Li, Luming
    Ma, Bozhi
    2006 28TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY, VOLS 1-15, 2006, : 3253 - +
  • [44] Towards an Industrial Use of Sound Static Analysis for the Verification of Concurrent Embedded Avionics Software
    Mine, Antoine
    Delmas, David
    2015 PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE (EMSOFT), 2015, : 65 - 74
  • [45] Detecting Build Conflicts in Software Merge for Java']Java Programs via Static Analysis
    Towqir, Sheikh Shadab
    Shen, Bowen
    Gulzar, Muhammad Ali
    Meng, Na
    PROCEEDINGS OF THE 37TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE 2022, 2022,
  • [46] Insights from Running 24 Static Analysis Tools on Open Source Software Repositories
    Hashmat, Fabiha
    Aljaali, Zeyad Alwaleed
    Shen, Mingjie
    Machiry, Aravind
    INFORMATION SYSTEMS SECURITY, ICISS 2024, 2025, 15416 : 225 - 245
  • [47] Efficacy of static analysis tools for software defect detection on open-source projects
    Yeboah, Jones
    Popoola, Saheed
    2023 INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND COMPUTATIONAL INTELLIGENCE, CSCI 2023, 2023, : 1588 - 1593
  • [48] The analysis and experimental verification on static characteristics of BTA deep hole drilling based on Ansys software
    Dong, Zhen
    Shen, Xingquan
    Zhang, Huang
    MECHATRONICS ENGINEERING, COMPUTING AND INFORMATION TECHNOLOGY, 2014, 556-562 : 1178 - 1182
  • [49] Finding key classes in object-oriented software systems by techniques based on static analysis
    Sora, Ioana
    Chirila, Ciprian-Bogdan
    INFORMATION AND SOFTWARE TECHNOLOGY, 2019, 116
  • [50] Deciding to upgrade packaged software: a comparative case study of motives, contingencies and dependencies
    Khoo, Huoy Min
    Robey, Daniel
    EUROPEAN JOURNAL OF INFORMATION SYSTEMS, 2007, 16 (05) : 555 - 567
12345