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 条
  • [1] Is This Really a Refactoring? Automated Equivalence Checking for Erlang Projects
    Seres, Bendeguz
    Horpacsi, Daniel
    Thompson, Simon
    PROCEEDINGS OF THE 23RD ACM SIGPLAN INTERNATIONAL WORKSHOP ON ERLANG, ERLANG 2024, 2024, : 55 - 66
  • [2] Stepwise Refactoring Tools
    Eilertsen, Anna Maria
    Murphy, Gail C.
    2021 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME 2021), 2021, : 629 - 633
  • [3] A Framework for the Checking and Refactoring of Crosscutting Concepts
    Shonle, Macneil
    Griswold, William G.
    Lerner, Sorin
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2012, 21 (03)
  • [4] A Tool Support for Checking Consistency in Model Refactoring
    Thi-Huong Dao
    Thanh-Binh Trinh
    Ninh-Thuan Truong
    2017 9TH INTERNATIONAL CONFERENCE ON KNOWLEDGE AND SYSTEMS ENGINEERING (KSE 2017), 2017, : 100 - 105
  • [5] Refactoring Tools Are Trustworthy Enough
    Brant, John
    IEEE SOFTWARE, 2015, 32 (06) : 80 - +
  • [6] A Formal Approach to Checking Consistency in Software Refactoring
    Hong Anh Le
    Thi-Huong Dao
    Ninh-Thuan Truong
    Mobile Networks and Applications, 2017, 22 : 356 - 366
  • [7] A Formal Approach to Checking Consistency in Software Refactoring
    Hong Anh Le
    Thi-Huong Dao
    Ninh-Thuan Truong
    MOBILE NETWORKS & APPLICATIONS, 2017, 22 (02): : 356 - 366
  • [8] Refactoring tools: Fitness for purpose
    Murphy-Bill, Emerson
    Black, Andrew P.
    IEEE SOFTWARE, 2008, 25 (05) : 38 - 44
  • [9] Research on the Tools of Clone Code Refactoring
    Zhao Fengrong
    Zhang Liping
    Zhao Junqi
    PROCEEDINGS OF THE 2019 3RD INTERNATIONAL CONFERENCE ON MANAGEMENT ENGINEERING, SOFTWARE ENGINEERING AND SERVICE SCIENCES (ICMSS 2019), 2019, : 27 - 31
  • [10] Verifying Parallel Code After Refactoring Using Equivalence Checking
    Abadi, Moria
    Keidar-Barner, Sharon
    Pidan, Dmitry
    Veksler, Tatyana
    INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 2019, 47 (01) : 59 - 73
12345