Constraint-Based Refactoring with Foresight
Constraint-Based Refactoring with Foresight
复制标题
具有前瞻性的基于约束的重构
DOI：
10.1007/978-3-642-31057-7_24
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Jens Henning von Pilgrim
中科院分区：
文献类型：
--
作者：
F. Steimann;Jens Henning von Pilgrim
当前实现的基于约束的重构工具在执行任何更改之前，从要重构的程序中生成它们所需的约束集。因此，约束生成无法看到-并考虑-重构程序的变化结构，尽管这种新结构可能会产生新的约束，需要满足程序以保持其原始行为。为了解决这个问题，我们提出了一个框架，允许约束生成过程中预见到所有的变化重构可能执行，生成-在重构的开始-所有必要的约束，以约束这些变化。正如我们能够证明的那样，我们的框架所施加的计算开销虽然在理论上威胁到可行性，但可以减少到易于处理的大小。
Constraint-based refactoring tools as currently implemented generate their required constraint sets from the programs to be refactored, before any changes are performed. Constraint generation is thus unable to see -- and regard -- the changed structure of the refactored program, although this new structure may give rise to new constraints that need to be satisfied for the program to maintain its original behaviour. To address this problem, we present a framework allowing the constraint-generation process to foresee all changes a refactoring might perform, generating -- at the outset of the refactoring -- all constraints necessary to constrain these changes. As we are able to demonstrate, the computational overhead imposed by our framework, although threatening viability in theory, can be reduced to tractable sizes.
DOI：
10.1145/1449764.1449787
发表时间：
2008-10
期刊：
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
影响因子：
--
作者：
Max Schäfer;Torbjörn Ekman;O. Moor
通讯作者：
Max Schäfer;Torbjörn Ekman;O. Moor
影响因子：
--
作者：
Schaefer M
通讯作者：
Schaefer M