A tool support for checking consistency in model refactoring
Thi-Huong Dao, Thanh-Binh Trinh, Ninh-Thuan Truong · 2017
Refactoring is a technique that transforms a software structure to new one in order to improve the internal structure without affect its external behaviors. Although refactoring has shown a number of advantages, it has not been widely adopted in practice as expected. One of the big challenges to refactoring is the lack of tool support that may be raised some issues such as tedious, time-consuming and error-prone. We present in this paper a tool called CVT (Consistency Validator Tool) that used to assist to checking consistency in model refactoring. The CVT is composed of three essential modules which are well-formedness checking, translate OCL into FOL and behavioral consistency checking. We are most interested in OCL to FOL translation process that make use of Abstract Syntax Tree (AST) as an intermediate syntax. We have also carried out some experimental studies to evaluate the effectiveness of this tool.