Advanced Search
Volume 29 Issue 10
Oct.  2003
Turn off MathJax
Article Contents
Abstract
References
Journal of Beijing University of Aeronautics and Astronautics  > 2003  >  29(10): 869-872.
Fang Jiancheng, Zhou Rui, Zhu Shipinget al. Observability Analysis of Strapdown Inertial Navigation System on Moving Base[J]. Journal of Beijing University of Aeronautics and Astronautics, 1999, 25(6): 714-719. (in Chinese)
Citation: Li Hu, Jin Maozhong, Gao Zhongyi, et al. On adequate testing of context-free grammars[J]. Journal of Beijing University of Aeronautics and Astronautics, 2003, 29(10): 869-872. (in Chinese)
shu

On adequate testing of context-free grammars

  • School of Computer Science and Technology, Beijing University of Aeronautics and Astronautics, Beijing 100083, China

  • Received Date: 05 Jun 2003
  • Publish Date: 31 Oct 2003
    Abstract
  • Grammar testing was discussed, including related concepts, its characteristics, application scenarios, and a comparison with traditional software testing. Test adequacy criterion of context-free grammar was formally defined and a family of grammar testing criteria was proposed. A formal analysis of the subsume relation between test adequacy criteria in the family was presented, and how the subsume relation between adequacy criteria guarantees a better fault detecting in the context of two classes of faults specific to grammar was also proved. Size complexity of the test adequacy criteria in the family was computed and compared. A grammar testing complexity metric was also developed, which can reflect the difficulty and effort to testing a grammar from the view of test adequacy.

     

    • FullText(HTML)
    • References(1)
  • [1] Malloy B A, Power J F. An interpretation of purdom's algorithm for automatic generation of test tases . Proceedings of 1st Annual International Conference on Computer and Information Science . Orlando, Florida,USA, 2001 [2] 高仲仪, 金茂忠. 编译原理及编译程序构造[M]. 北京:北京航空航天大学出版社, 1990.14~41 Gao Zhongyi, Jin Maozhong. The theory and costruction of compilers[M]. Beijing:Beijing University of Aeronautics and Astronautics Press, 1990. 14~41 (in Chinese) [3] Zhu H. A formal analysis of the subsume relation between software test adequacy criteria[J]. IEEE Transaction on Software Engineering,1996, 22 (4):248~254 [4] 朱 鸿, 金凌紫. 软件质量保障与测试[M]. 北京:科学出版社, 1997. 158~161 Zhu Hong, Jin Lingzi. Software quality assurance and testing[M]. Beijing:Science Press, 1997. 158~161 (in Chinese) [5] Power J F, Malloy B A. Metric-based analysis of context-free grammars . Proceedings of the International Workshop on Program Comprehension . USA,2000
    • Relative Articles
    • Supplements(0)
    • Cited By
  • 加载中

Catalog

    通讯作者: 陈斌, bchen63@163.com
    • 1. 

      沈阳化工大学材料科学与工程学院 沈阳 110142

    1. 本站搜索
    2. 百度学术搜索
    3. 万方数据库搜索
    4. CNKI搜索
    Get Citation
    PDF
    XML

    Article Metrics

    Article views(2530) PDF downloads(8) Cited by()
    Proportional views
    Related

    Copyright © Journal of Beijing University of Aeronautics and Astronautics

    Address: Editorial Department of Journal of Beijing University of Aeronautics and Astronautics, 37 Xueyuan Road, Haidian District, Beijing Post Code: 100191 Email: jbuaa@buaa.edu.cn

    Supported by: Beijing Renhe Information Technology Co., Ltd.    

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return