关键词: 多重嵌套, 自动化重构, 自下而上分析, 归约, 模型代数表达式

Abstract: Due to the multiple nested of conditional branch statements, logic structure of the code is not clear and the code is difficult to read, the efficiency of dividing basic block is reduced when generating basic path set. On this basis, a method is proposed for automatic code refactoring. It uses bottom-up analysis and reduction, following compiler syntax analysis method, can realize automatic adjustment to the nested if-else conditional statement, and is more clearer to the structure of code, the code will be more suitable for the tool of generating basic path set. This method improves the efficiency of the tool of generating basic path set. For the tool of generating basic path set based on the model algebraic, it improves the algorithm of generating model algebraic expressions, and can generate basic path set accurately. Finally, through the comparison of the experiment, it verifies the effectiveness of the refactoring and the improved algorithm.

Key words: multiple nested, automated refactoring, bottom-up analysis, reduction, model algebraic expression