留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

上下文无关文法测试充分性

李虎 金茂忠 高仲仪 刘超

李虎, 金茂忠, 高仲仪, 等 . 上下文无关文法测试充分性[J]. 北京航空航天大学学报, 2003, 29(10): 869-872.
引用本文: 李虎, 金茂忠, 高仲仪, 等 . 上下文无关文法测试充分性[J]. 北京航空航天大学学报, 2003, 29(10): 869-872.
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)
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)

上下文无关文法测试充分性

详细信息
  • 中图分类号: TP 3012; TP 3115

On adequate testing of context-free grammars

  • 摘要: 讨论了文法测试的基本概念,分析了文法测试的特点、应用场景及其与一般软件测试的异同.形式化地定义了上下文无关文法的测试充分性准则,提出了一个上下文无关文法的测试充分性准则族.分析了该准则族中各准则之间的包含关系,以及这种包含关系与揭示文法所特有的2类缺陷的能力之间的关系. 计算和比较了准则族中各准则的测试集规模复杂性.为了评价文法的测试开销,定义了一个上下文无关文法的测试复杂性度量,该度量能够从测试充分性的角度反映测试一个文法的难易程度和测试开销的大小.

     

  • [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
  • 加载中
计量
  • 文章访问数:  2411
  • HTML全文浏览量:  121
  • PDF下载量:  6
  • 被引次数: 0
出版历程
  • 收稿日期:  2003-06-05
  • 网络出版日期:  2003-10-31

目录

    /

    返回文章
    返回
    常见问答