PASTA: Synthesizing Object State Transformers for Dynamic Software Updates

被引:1
|
作者
Zhao, Zelin [1 ,2 ]
Jiang, Yanyan [1 ,2 ]
Xu, Chang [1 ,2 ]
Gu, Tianxiao [3 ]
Ma, Xiaoxing [1 ,2 ]
机构
[1] Nanjing Univ, State Key Lab Novel Software Technol, Nanjing, Peoples R China
[2] Nanjing Univ, Dept Comp Sci & Technol, Nanjing, Peoples R China
[3] Alibaba Grp, Sunnyvale, CA USA
来源
2021 IEEE/ACM 43RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2021) | 2021年
关键词
D O I
10.1109/ICSE-Companion52605.2021.00094
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Object transformation (upgrading heap objects to their new-version counterparts) is a crucial step in dynamic software update (DSU). However, providing non-trivial object transformers for complex software updates can be difficult for software developers and upgrade maintainers. This paper presents the design and implementation of PASTA, a tool for automatic object transformer synthesis.
引用
收藏
页码:211 / 212
页数:2
相关论文
共 50 条
  • [31] Dynamic coupling measures for object-oriented software
    Arisholm, E
    EIGHTH IEEE SYMPOSIUM ON SOFTWARE METRICS, PROCEEDINGS, 2002, : 33 - 42
  • [32] Dynamic cohesion measures for object-oriented software
    Gupta, Varun
    Chhabra, Jitender Kumar
    JOURNAL OF SYSTEMS ARCHITECTURE, 2011, 57 (04) : 452 - 462
  • [33] Dynamic coupling measurement for object-oriented software
    Arisholm, E
    Briand, LC
    Foyen, A
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2004, 30 (08) : 491 - 506
  • [34] Stepping Towards Dynamic Measurement for Object Oriented Software
    Jain, Ashu
    Chug, Anuradha
    2016 1ST INDIA INTERNATIONAL CONFERENCE ON INFORMATION PROCESSING (IICIP), 2016,
  • [35] Dynamic coupling measurement for object-oriented software
    Department of Software Engineering, Simula Research Laboratory, Lysaker, Norway
    不详
    1600, 491-506 (August 2004):
  • [36] ThermoData Engine (TDE): Software implementation of the dynamic data evaluation concept. 2. Equations of state on demand and dynamic updates over the Web
    Diky, Vladimir
    Muzny, Chris D.
    Lemmon, Eric W.
    Chirico, Robert D.
    Frenkel, Michael
    JOURNAL OF CHEMICAL INFORMATION AND MODELING, 2007, 47 (04) : 1713 - 1725
  • [37] Dynamic State Estimation-based Protection of Power Transformers
    Fan, Rui
    Meliopoulos, A. P. Sakis
    Cokkinides, G. J.
    Sun, Liangyi
    Liu, Yu
    2015 IEEE POWER & ENERGY SOCIETY GENERAL MEETING, 2015,
  • [38] Object-oriented dynamic complexity measures for software understandability
    Gosain A.
    Sharma G.
    Innovations in Systems and Software Engineering, 2017, 13 (2-3) : 177 - 190
  • [39] State of the art of dynamic software updating in Java
    Gregersen, Allan Raundahl
    Rasmussen, Michael
    Jørgensen, Bo Nørregaard
    Communications in Computer and Information Science, 2014, 457 : 99 - 113
  • [40] Object state testing and fault analysis for reliable software systems
    Kung, D
    Lu, Y
    Venugopalan, N
    Hsia, P
    Toyoshima, Y
    Chen, C
    Gao, J
    SEVENTH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS, 1996, : 76 - 85