Test Case Generation for Compiler Optimization Based on Temporal Logic
基于时序逻辑的编译优化测试用例生成方法

Traditional approaches try to generated test cases based on grammar,and lack of accuracy for optimization.Based on an approach that emploied rewrite rule with temporal logic to describe compiler optimization,a fresh method to generate critical node CFG was proposed.The generated cases were accuracy and the approach could be easily extended.Then experimented this algorithm in an automated testing tool for optimization and proved its efficiency.