| 题名: | a systematic framework for grammar testing |
| 作者: | Zheng Lixiao
; Chen Haiming
|
| 会议文集: | Proceedings of the 2009 8th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2009
|
| 会议名称: | 8th IEEE/ACIS International Conference on Computer and Information Science
|
| 会议日期: | JUN 01-03,
|
| 出版日期: | 2009
|
| 会议地点: | Shanghai, PEOPLES R CHINA
|
| 关键词: | C (programming language)
; Information science
; Modular construction
; Testing
|
| 出版者: | 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
|
| 部门归属: | Zheng, Lixiao; Chen, Haiming Chinese Acad Sci, Inst Software, State Key Lab Comp Sci, Beijing 100864, Peoples R China.
|
| 主办者: | IEEE, ACIS
|
| 英文摘要: | 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. |
| 内容类型: | 会议论文
|
| URI标识: | http://ir.iscas.ac.cn/handle/311060/8292
|
| Appears in Collections: | 计算机科学国家重点实验室 _会议论文
|
|
There are no files associated with this item.
|
| Recommended Citation: | |
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,.
|
|
|
