中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
a systematic framework for grammar testing

文献类型:会议论文

作者Zheng Lixiao ; Chen Haiming
出版日期2009
会议名称8th IEEE/ACIS International Conference on Computer and Information Science
会议日期JUN 01-03,
会议地点Shanghai, PEOPLES R CHINA
关键词C (programming language) Information science Modular construction Testing
英文摘要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.
会议主办者IEEE, ACIS
会议录Proceedings of the 2009 8th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2009
会议录出版者PROCEEDINGS OF THE 8TH IEEE/ACIS INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE
会议录出版地10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA
ISBN号978-0-7695-3641-5
源URL[http://124.16.136.157/handle/311060/8292]  
专题软件研究所_计算机科学国家重点实验室 _会议论文
推荐引用方式
GB/T 7714
Zheng Lixiao,Chen Haiming. a systematic framework for grammar testing[C]. 见:8th IEEE/ACIS International Conference on Computer and Information Science. Shanghai, PEOPLES R CHINA. JUN 01-03,.

入库方式: OAI收割

来源:软件研究所

浏览0
下载0
收藏0
其他版本

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。