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 条
  • [21] Regrowing a Language Refactoring Tools Allow Programming Languages to Evolve
    Overbey, Jeffrey L.
    Johnson, Ralph E.
    OOPSLA 2009, CONFERENCE PROCEEDINGS, 2009, : 493 - 502
  • [22] Improving refactoring tools in Smalltalk using static type inference
    Unterholzner, Martin
    SCIENCE OF COMPUTER PROGRAMMING, 2014, 96 : 70 - 83
  • [23] Regrowing a Language Refactoring Tools Allow Programming Languages to Evolve
    Overbey, Jeffrey L.
    Johnson, Ralph E.
    ACM SIGPLAN NOTICES, 2009, 44 (10) : 493 - 502
  • [24] Exploiting the Progress of OO Refactoring Tools with Android Code Smells
    Gattal, Abderraouf
    Hammache, Abir
    Bousbia, Nabila
    Henniche, Adel Nassim
    36TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2021, 2021, : 1580 - 1583
  • [25] Breaking the Barriers to Successful Refactoring: Observations and Tools for Extract Method
    Murphy-Hill, Emerson
    Black, Andrew P.
    ICSE'08 PROCEEDINGS OF THE THIRTIETH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2008, : 421 - 430
  • [26] Industry's Cry for Tools that Support Large-Scale Refactoring
    Ivers, James
    Nord, Robert L.
    Ozkaya, Ipek
    Seifried, Chris
    Timperley, Christopher S.
    Kessentini, Marouane
    2022 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: SOFTWARE ENGINEERING IN PRACTICE (ICSE-SEIP 2022), 2022, : 163 - 164
  • [27] A case study to evaluate the suitability of graph transformation tools for program refactoring
    Pérez J.
    Crespo Y.
    Hoffmann B.
    Mens T.
    International Journal on Software Tools for Technology Transfer, 2010, 12 (3-4) : 183 - 199
  • [28] Consistency Checking for Refactoring from Coarse-Grained Locks to Fine-Grained Locks
    Zhang, Yang
    Liu, Jingjing
    Qi, Lin
    Meredith, Grant
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2024, 34 (07) : 1063 - 1093
  • [29] Introducing Records by Refactoring
    Loevei, Laszlo
    Zoltan Horvath
    Kozsik, Tamas
    Roland Kiraly
    ERLANG'07: PROCEEDINGS OF THE 2007 SIGPLAN ERLANG WORKSHOP, 2007, : 18 - 28
  • [30] Refactoring Module Structure
    Loevei, Laszlo
    Hoch, Csaba
    Koello, Hanna
    Nagy, Tamas
    Vig, Aniko Nagyne
    Horpacsi, Daniel
    Kitlei, Robert
    Kiraly, Roland
    ERLANG '08: PROCEEDINGS OF THE 2008 SIGPLAN ERLANG WORKSHOP, 2008, : 83 - 89