期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

O-O语言编译器测试用例的自动生成算法 被引量：1

Object-Oriented Programming Language Compiler Auto-Test Case Generating Algorithm
下载PDF
导出
摘要 面向对象语言编译器自动测试工具的一个主要功能就是根据测试的需求目标和既定的测试方法,自动生成面向对象程序语言的测试用例.本文从编译器测试的上述需求定位出发,基于兼顾深度测试和宽度测试的黑盒测试方法,分析研究了测试用例自动生成所面临的几个主要问题.诸如,全涵盖符合面向对象语言标准(如IS0 C++、ANSI C++)的语法和语义,测试用例的正确性保证和复杂性要求等;探讨了从随机性、任意性方面实现一个满足测试需求的C++测试用例框架的相应算法.这些算法解决了测试用例中表达式、语句以及其它C++语言要素的生成,以及表达式、语句嵌套和数据结构的任意复杂性的问题.对于面向对象的编译器自动测试中的主要部分--用例生成器的设计与实现,具有一定的借鉴意义.
作者 严伟 陈英 黄湘武 熊希达
机构地区 北京理工大学计算机科学与工程系
出处 《测试技术学报》 2002年第z2期1235-1240,共6页 Journal of Test and Measurement Technology
关键词 编译器测试 自动测试工具 测试用例生成 面向对象(O-O)
分类号 TB9-55 [机械工程—测试计量技术及仪器]
  • 相关文献

参考文献2

  • 1[1]A.S. Boujarwah, K. Saleh. Compiler test case generation methods: a survey and assessment. Information and Software Technology. 1997(39) 617-625
  • 2[2]INTERNATIONAL STANDARD. Programming languages - C++. ISO/IEC FDIS 1 4882.1 998-06-23

同被引文献20

  • 1朱丹枫,赵琛,陈伟.一种用于测试编译优化的程序控制结构生成算法[J].计算机应用研究,2006,23(6):55-58. 被引量：1
  • 2夏勇,薛云志,赵琛.基于时序逻辑的编译优化测试用例生成方法[J].计算机应用研究,2007,24(7):46-48. 被引量：1
  • 3Aho A V, Lain M S, Sethi R, et al. Compilers; Principles, Techniques, and Tools [M]. 2nd. Boston: Addison Wesley, 2006.
  • 4Muchnick S. Advanced Compiler Design and Implementation [M]. 1st ed. San Francisco: Morgan Kaufmann, 1997.
  • 5Bacon D F, Graham S L, Sharp O J. Compiler transformations for high-performance computing [J].ACM Computing Surveys, 1994, 26(4): 345-420.
  • 6Allen R, Kennedy K. Optimizing Compilers for Modern Architectures: A Dependence-Based Approaeh[M]. San Francisco: Morgan Kaufmann, 2002.
  • 7Soffa M L. Developing a foundation for code optimization [C] //Proc of the 13th Int Conf of Compiler Construction (CC'04). Berlin: Springer, 2004:1-4.
  • 8Boujarwah A S, Saleh K. Compiler test case generation methods: A survey and assessment [J]. Information and Software Technology, 1997, 39(9) : 617-625.
  • 9Kossatchev A, Posypkin M. Survey of compiler testing methods [J]. Programming and Computer Software, 2005, 31(1): 10-19.
  • 10Boujarwah A S, Saleh K, AI-Dallal J. Testing syntax and semantic coverage of Java language compilers [J]. Information and Software Technology, 1999, 41(1) : 15-28.

引证文献1

测试技术学报
2002年 第z2期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部