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

ISCAS OpenIR > 互联网软件技术实验室

	一种基于过程图模型的编译优化测试程序自动生成方法
Alternative Title	an automated method of test program generation for compiler optimizations based on process graph
	陶秋铭; 赵琛; 王永吉
	2009
Source	计算机研究与发展
ISSN	1000-1239
Volume	46 Issue:9 Pages:1567-1577
English Abstract	近年来,以数据依赖分析为基础的高级编译优化成为现代编译器的重要研发内容.针对这类编译优化的测试问题提出了一种测试程序自动生成方法,能够根据指定的数据依赖特征生成测试程序.首先设计了LoSpec语言用以描述测试程序,然后采用一种便于表示数据依赖关系的模型——过程图作为中间表示模型实现了测试程序的自动生成,并开发了自动测试工具LoTester.与已有方法相比,该方法对高级优化更具针对性,自动化程度较高.LoTester目前在一款面向多媒体应用的优化编译器EECC的开发中得到应用并获得了良好效果.
Indexed Type	ei,cnki,wanfang,cscd
Keyword	测试自动化编译器测试测试用例生成高级编译优化数据依赖过程图 Test Automation Compiler Testing Test Case Generation Advanced Compiler Optimizations Data Dependence Process Graph
Department	互联网软件技术实验室
Language	中文
Content Type	期刊论文
URI	http://ir.iscas.ac.cn/handle/311060/3244
Collection	互联网软件技术实验室
Recommended Citation GB/T 7714	陶秋铭,赵琛,王永吉. 一种基于过程图模型的编译优化测试程序自动生成方法[J]. 计算机研究与发展,2009,46(9):1567-1577.
APA	陶秋铭,赵琛,&王永吉.(2009).一种基于过程图模型的编译优化测试程序自动生成方法.计算机研究与发展,46(9),1567-1577.
MLA	陶秋铭,et al."一种基于过程图模型的编译优化测试程序自动生成方法".计算机研究与发展 46.9(2009):1567-1577.

Files in This Item:
File Name/Size	DocType	Version	Access	License
6.pdf（834KB）			开放获取	--	Application Full Text

If you have any objections to this item, please fill out the form below and the administrator will contact you as soon as possible.
Content:
Email：	*
Institution:
Verification Code:	Refresh

Any comments and suggestions are welcomed.
Title:	*
Content:
Email：	*
Verification Code:	Refresh

中国科学院软件研究所机构知识库