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 条
  • [11] Formalization and Verification of Behavioral Correctness of Dynamic Software Updates
    Zhang, Min
    Ogata, Kazuhiro
    Futatsugi, Kokichi
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2013, 294 : 12 - 23
  • [12] Tedsuto: A General Framework for Testing Dynamic Software Updates
    Pina, Luis
    Hicks, Michael
    2016 9TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2016, : 278 - U625
  • [13] Active DSU: Dynamic Software Updates for Active Functions
    Stromback, Filip
    Varro, Daniel
    PROCEEDINGS OF THE 2024 ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON NEW IDEAS, NEW PARADIGMS, AND REFLECTIONS ON PROGRAMMING AND SOFTWARE, ONWARD! 2024, 2024, : 26 - 37
  • [14] Dynamic Software Updates: A VM-centric Approach
    Subramanian, Suriya
    Hicks, Michael
    McKinley, Kathryn S.
    ACM SIGPLAN NOTICES, 2009, 44 (06) : 1 - 12
  • [15] Javelus: A Low Disruptive Approach to Dynamic Software Updates
    Gu, Tianxiao
    Cao, Chun
    Xu, Chang
    Ma, Xiaoxing
    Zhang, Linghao
    Lu, Jian
    2012 19TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC), VOL 1, 2012, : 527 - 536
  • [16] Dynamic Software Metrics for Object Oriented Software: A Review
    Gosain, Anjana
    Sharma, Ganga
    INFORMATION SYSTEMS DESIGN AND INTELLIGENT APPLICATIONS, VOL 2, 2015, 340 : 579 - 589
  • [17] A Formal Study of Backward Compatible Dynamic Software Updates
    Shen, Jun
    Bazzi, Rida A.
    SOFTWARE ENGINEERING AND FORMAL METHODS, 2015, 9276 : 231 - 248
  • [18] Decentralized Coordination of Dynamic Software Updates in the Internet of Things
    Weissbach, Martin
    Taing, Nguonly
    Wutzler, Markus
    Springer, Thomas
    Schill, Alexander
    Clarke, Siobhan
    2016 IEEE 3RD WORLD FORUM ON INTERNET OF THINGS (WF-IOT), 2016, : 171 - 176
  • [19] Dynamic Software Updates: A VM-centric Approach
    Subramanian, Suriya
    Hicks, Michael
    McKinley, Kathryn S.
    PLDI'09 PROCEEDINGS OF THE 2009 ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, 2009, : 1 - 12
  • [20] Smooth Object State Updates in Distributed Haptic Virtual Environments
    Schuwerk, Clemens
    Steinbach, Eckehard
    2013 IEEE INTERNATIONAL SYMPOSIUM ON HAPTIC AUDIO-VISUAL ENVIRONMENTS AND GAMES (HAVE 2013), 2013, : 51 - 56
12345