一种基于过程图模型的编译优化测试程序自动生成方法

作者：陶秋铭; 赵琛; 王永吉

来源：Z200909019, 2009, (09): 1567-1577.

• 测试自动化
• 编译器测试
• 测试用例生成
• 高级编译优化
• 数据依赖
• 过程图 test automation
• compiler testing
• test case generation
• advanced compiler optimizations
• data dependence
• process graph

近年来,以数据依赖分析为基础的高级编译优化成为现代编译器的重要研发内容.针对这类编译优化的测试问题提出了一种测试程序自动生成方法,能够根据指定的数据依赖特征生成测试程序.首先设计了LoSpec语言用以描述测试程序,然后采用一种便于表示数据依赖关系的模型——过程图作为中间表示模型实现了测试程序的自动生成,并开发了自动测试工具LoTester.与已有方法相比,该方法对高级优化更具针对性,自动化程度较高.LoTester目前在一款面向多媒体应用的优化编译器EECC的开发中得到应用并获得了良好效果.

• 单位
  中国科学院研究生院; 计算机科学国家重点实验室; 中国科学院软件研究所