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 条
  • [41] Refactoring GrPPI: Generic Refactoring for Generic Parallelism in C++
    Christopher Brown
    Vladimir Janjic
    Adam D. Barwell
    J. Daniel Garcia
    Kenneth MacKenzie
    International Journal of Parallel Programming, 2020, 48 : 603 - 625
  • [42] Refactoring GrPPI: Generic Refactoring for Generic Parallelism in C plus
    Brown, Christopher
    Janjic, Vladimir
    Barwell, Adam D.
    Garcia, J. Daniel
    MacKenzie, Kenneth
    INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 2020, 48 (04) : 603 - 625
  • [43] JDeodorant: Clone Refactoring
    Mazinanian, Davood
    Tsantalis, Nikolaos
    Stein, Raphael
    Valenta, Zackary
    2016 IEEE/ACM 38TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING COMPANION (ICSE-C), 2016, : 613 - 616
  • [44] Refactoring middleware with aspects
    Zhang, C
    Jacobsen, HA
    IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2003, 14 (11) : 1058 - 1073
  • [45] Refactoring pattern matching
    Wang, Meng
    Gibbons, Jeremy
    Matsuda, Kazutaka
    Hu, Zhenjiang
    SCIENCE OF COMPUTER PROGRAMMING, 2013, 78 (11) : 2216 - 2242
  • [46] A Refactoring Approach to Parallelism
    Dig, Danny
    IEEE SOFTWARE, 2011, 28 (01) : 17 - 22
  • [47] Measuring the effect of refactoring
    Pitt, R
    Carmichael, A
    OOIS 2000: 6TH INTERNATIONAL CONFERENCE ON OBJECT ORIENTED INFORMATION SYSTEMS, PROCEEDINGS, 2001, : 401 - 406
  • [48] Refactoring in Computational Notebooks
    Liu, Eric S.
    Lukes, Dylan A.
    Griswold, William G.
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2023, 32 (03)
  • [49] Alloy as a Refactoring Checker?
    Estler, H. -Christian
    Wehrheim, Heike
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 214 : 331 - 357
  • [50] On the documentation of refactoring types
    AlOmar, Eman Abdullah
    Liu, Jiaqian
    Addo, Kenneth
    Mkaouer, Mohamed Wiem
    Newman, Christian
    Ouni, Ali
    Yu, Zhe
    AUTOMATED SOFTWARE ENGINEERING, 2022, 29 (01)
12345