Institutional Repository
| a systematic framework for grammar testing | |
| Zheng Lixiao; Chen Haiming | |
| 2009 | |
| Conference Name | 8th IEEE/ACIS International Conference on Computer and Information Science |
| Source | Proceedings of the 2009 8th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2009 |
| Conference Date | JUN 01-03, |
| Conference Place | Shanghai, PEOPLES R CHINA |
| Publish Place | 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA |
| Publisher | PROCEEDINGS OF THE 8TH IEEE/ACIS INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE |
| ISBN | 978-0-7695-3641-5 |
| Department | Zheng, Lixiao; Chen, Haiming Chinese Acad Sci, Inst Software, State Key Lab Comp Sci, Beijing 100864, Peoples R China. |
| English Abstract | 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. |
| Keyword | c (Programming Language) Information Science Modular Construction Testing |
| Sponsorship | IEEE, ACIS |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/8292 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation 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. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment