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

作     者：陶秋铭 赵琛 王永吉 Tao Qiuming;Zhao Chen;Wang Yongji

作者机构：中国科学院软件研究所北京100190 中国科学院研究生院北京100049 中国科学院计算机科学国家重点实验室北京100190 

基　　金：国家自然科学基金项目(60573164 90718042) 国家"八六三"高技术研究发展计划基金项目(2006AA010201) 国家"九七三"重点基础研究发展计划基金项目(2007CB310802) 

出 版 物：《计算机研究与发展》 (Journal of Computer Research and Development)

年 卷 期：2009年第46卷第9期

页      码：1567-1577页

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

主 题 词：测试自动化 编译器测试 测试用例生成 高级编译优化 数据依赖 过程图 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

馆 藏 号：203510259...