Program Control Structure Generation Algorithm for Compiling Optimization Testing
一种用于测试编译优化的程序控制结构生成算法

Optimization is the most important stage and the main researching area in compiling technique. The complexity of optimization algorithm requires efficient test case generation method to ensure its correctness. A new automated test case generation method is presented. It can produce test cases with features for testing the correctness of compiling optimization. The basis of this method, a program control structure generation algorithm and an automated testing tool for optimizing compiler which is implemented based on the algorithm are introduced.