Title: | a systematic framework for grammar testing |
Author: | Zheng Lixiao
; Chen Haiming
|
Source: | Proceedings of the 2009 8th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2009
|
Conference Name: | 8th IEEE/ACIS International Conference on Computer and Information Science
|
Conference Date: | JUN 01-03,
|
Issued Date: | 2009
|
Conference Place: | Shanghai, PEOPLES R CHINA
|
Keyword: | C (programming language)
; Information science
; Modular construction
; Testing
|
Publisher: | PROCEEDINGS OF THE 8TH IEEE/ACIS INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE
|
Publish Place: | 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA
|
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.
|
Sponsorship: | IEEE, ACIS
|
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. |
Content Type: | 会议论文
|
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,.
|
|
|