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 条
  • [21] Dynamic software updates for parallel high-performance applications
    Kim, Dong Kwan
    Tilevich, Eli
    Ribbens, Calvin J.
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2011, 23 (04): : 415 - 434
  • [22] JavA']JavAdaptor: Unrestricted Dynamic Software Updates for Java']Java
    Pukall, Mario
    Grebhahn, Alexander
    Schroeter, Reimar
    Kaestner, Christian
    Cazzola, Walter
    Goetz, Sebastian
    2011 33RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2011, : 989 - 991
  • [23] Formalizing Consistent Dynamic Updates for Component-based Software
    Xu, Xiaohui
    Zhang, Yi
    2013 3RD INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND NETWORK TECHNOLOGY (ICCSNT), 2013, : 292 - 296
  • [24] Automating Object Transformations for Dynamic Software Updating
    Magill, Stephen
    Hicks, Michael
    Subramanian, Suriya
    McKinley, Kathryn S.
    ACM SIGPLAN NOTICES, 2012, 47 (10) : 265 - 280
  • [25] A dynamic size measure for object oriented software
    Gosain A.
    Sharma G.
    International Journal of System Assurance Engineering and Management, 2017, 8 (Suppl 2) : 1209 - 1221
  • [26] Dynamic updates of inheritance hierarchy for object-oriented database schema
    Lee, M.-C.
    International Journal of Computers and Applications, 2001, 23 (01) : 17 - 24
  • [27] Synthesizing state-based object systems from LSC specifications
    Harel, D
    Kugler, H
    IMPLEMENTATION AND APPLICATION OF AUTOMATA, 2001, 2088 : 1 - 33
  • [28] Analyzing software updates: Should you build a dynamic updating infrastructure?
    Gharaibeh, Bashar
    Rajan, Hridesh
    Chang, J. Morris
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2011, 6603 LNCS : 371 - 385
  • [29] Analyzing Software Updates: Should You Build a Dynamic Updating Infrastructure?
    Gharaibeh, Bashar
    Rajan, Hridesh
    Chang, J. Morris
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, 2011, 6603 : 371 - 385
  • [30] Towards a Formal Approach to Modeling and Verifying the Design of Dynamic Software Updates
    Zhang, Min
    Ogata, Kazuhiro
    Futatsugi, Kokichi
    2015 22ND ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2015), 2015, : 159 - 166
12345