a systematic framework for grammar testing

	a systematic framework for grammar testing
	Zheng Lixiao; Chen Haiming
	2009
会议名称	8th IEEE/ACIS International Conference on Computer and Information Science
会议录名称	Proceedings of the 2009 8th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2009
会议日期	JUN 01-03,
会议地点	Shanghai, PEOPLES R CHINA
出版地	10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA
出版者	PROCEEDINGS OF THE 8TH IEEE/ACIS INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE
ISBN	978-0-7695-3641-5
部门归属	Zheng, Lixiao; Chen, Haiming Chinese Acad Sci, Inst Software, State Key Lab Comp Sci, Beijing 100864, Peoples R China.
摘要	Grammars, especially context-free grammars, are widely used within and even outside the field of computer science. In this paper we present a systematic framework for grammar testing, in which some commonly used techniques for testing programs such as module testing and integration testing are adapted and applied to the testing of grammars. We propose a nonterminal-based approach for grammar modularization, combined with an iterative process for grammar testing in which a grammar is tested with respect to both a generator and a recognizer Experiments on grammars for some non-trivial programming languages such as C and Java demonstrate the feasibility and efficiency of the testing framework and the proposed approaches.
关键词	c (Programming Language) Information Science Modular Construction Testing
主办者	IEEE, ACIS
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/8292
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Zheng Lixiao,Chen Haiming. a systematic framework for grammar testing[C]. 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA:PROCEEDINGS OF THE 8TH IEEE/ACIS INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE,2009.