|
|||||
|
|
| 一种基于过程图模型的编译优化测试程序自动生成方法 | |
| 引用本文： | 陶秋铭,赵琛,王永吉.一种基于过程图模型的编译优化测试程序自动生成方法[J].计算机研究与发展,2009,46(9). |
| 作者姓名： | 陶秋铭 赵琛 王永吉 |
| 作者单位： | 1. 中国科学院软件研究所,北京,100190;中国科学院研究生院,北京,100049 2. 中国科学院软件研究所,北京,100190 3. 中国科学院软件研究所,北京,100190;中国科学院计算机科学国家重点实验室,北京,100190 |
| 基金项目： | 国家自然科学基金项目，国家"八六三"高技术研究发展计划基金项目，国家"九七三"重点基础研究发展计划基金项目 |
| 摘 要： | 近年来,以数据依赖分析为基础的高级编译优化成为现代编译器的重要研发内容.针对这类编译优化的测试问题提出了一种测试程序自动生成方法,能够根据指定的数据依赖特征生成测试程序.首先设计了LoSpec语言用以描述测试程序,然后采用一种便于表示数据依赖关系的模型——过程图作为中间表示模型实现了测试程序的自动生成,并开发了自动测试工具LoTester.与已有方法相比,该方法对高级优化更具针对性,自动化程度较高. LoTester目前在一款面向多媒体应用的优化编译器EECC的开发中得到应用并获得了良好效果. |
| 关 键 词： | 测试自动化 编译器测试 测试用例生成 高级编译优化 数据依赖 过程图 |
An Automated Method of Test Program Generation for Compiler Optimizations Based on Process Graph |
|
| Tao Qiuming,Zhao Chen,Wang Yongji.An Automated Method of Test Program Generation for Compiler Optimizations Based on Process Graph[J].Journal of Computer Research and Development,2009,46(9). | |
| Authors: | Tao Qiuming Zhao Chen Wang Yongji |
| Affiliation: | Institute of Software;Chinese Academy of Sciences;Beijing 100190;State Key Laboratory of Computer Science;Beijing 100190;Graduate University of Chinese Academy of Sciences;Beijing 100049 |
| Abstract: | Compiler is the fundamental tool for software development,and its dependability is undoubtedly significant.As an effective and efficient means to assure the quality of compilers,automatic testing has attracted much attention from academic world and industry.Optimizations are indispensable functions of modern compilers,and in recent years,the advanced optimizations which are based on data dependence analysis have become important development issues of modern compilers.To automatically test these optimization... |
| Keywords: | test automation compiler testing test case generation advanced compiler optimizations data dependence process graph |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |