Quick Checking Refactoring Tools

被引：0
|
作者：
Drienyovszky, Daniel [1 ]
Horpacsi, Daniel [1 ]
Thompson, Simon
机构：
[1] Univ Kent, Canterbury CT2 7NZ, Kent, England
来源：
ERLANG 2010: PROCEEDINGS OF THE 2010 ACM SIGPLAN, ERLANG WORKSHOP | 2010年
关键词：
refactoring; Wrangler; RefactorErl; Erlang; random program generation; Quick Check; attribute grammar; yecc; property;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Refactoring is the transformation of program source code in a way that preserves the behaviour of the program. Many tools exist for automating a number of refactoring steps, but these tools are often poorly tested. We present an automated testing framework based on Quick Check for testing refactoring tools written for the Erlang programming language.
引用
收藏
页码：75 / 80
页数：6
相关论文
共 50 条
  • [31] Automatic Refactoring of Erlang Programs
    Sagonas, Konstantinos
    Avgerinos, Thanassis
    PPDP'09: PROCEEDINGS OF THE 11TH INTERNATIONAL ACM SIGPLAN SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, 2009, : 13 - 23
  • [32] Refactoring Inspection Support for Manual Refactoring Edits
    Alves, Everton L. G.
    Song, Myoungkyu
    Massoni, Tiago
    Machado, Patricia D. L.
    Kim, Miryung
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2018, 44 (04) : 365 - 383
  • [33] Refactoring Graphs: Assessing Refactoring over Time
    Brito, Aline
    Hora, Andre
    Valente, Marco Tulio
    PROCEEDINGS OF THE 2020 IEEE 27TH INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION, AND REENGINEERING (SANER '20), 2020, : 367 - 377
  • [34] Manual Refactoring Changes with Automated Refactoring Validation
    Ge, Xi
    Murphy-Hill, Emerson
    36TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2014), 2014, : 1095 - 1105
  • [35] Tool Support for Refactoring Functional Programs
    Li, Huiqing
    Thompson, Simon
    PEPM'08: PROCEEDINGS OF THE 2008 ACM SIGPLAN SYMPOSIUM ON PARTIAL EVALUATION AND SEMANTICS-BASED PROGRAM MANIPULATION, 2008, : 199 - 203
  • [36] MODELING SEMANTIC KNOWLEDGE IN ERLANG FOR REFACTORING
    Horvath, Zoltan
    Loevei, Laszlo
    Kozsik, Tamas
    Kitlei, Robert
    Bozo, Istvan
    Toth, Melinda
    Kiraly, Roland
    KEPT 2009: KNOWLEDGE ENGINEERING PRINCIPLES AND TECHNIQUES, 2009, : 38 - 53
  • [37] Refactoring the Organization
    Power, Ken
    LEAN ENTERPRISE SOFTWARE AND SYSTEMS, 2010, 65 : 48 - 51
  • [38] Optimal Refactoring
    Siverland, Susanne
    Wernersson, Roger C. S.
    Sennersten, Charlotte
    AGILE PROCESSES, IN SOFTWARE ENGINEERING, AND EXTREME PROGRAMMING, XP 2015, 2015, 212 : 224 - 229
  • [39] Refactoring with Synthesis
    Raychev, Veselin
    Schaefer, Max
    Sridharan, Manu
    Vechev, Martin
    ACM SIGPLAN NOTICES, 2013, 48 (10) : 339 - 354
  • [40] A game of refactoring. Studying the impact of gamification in software refactoring
    Elezi, Leonard
    Sali, Sara
    Demeyer, Serge
    Murgia, Alessandro
    Perez, Javier
    PROCEEDINGS OF THE XP2016 SCIENTIFIC WORKSHOPS, 2016,
12345