期刊文献+

面向路径的测试数据自动生成工具的设计 被引量:1

Design of automatic test data generator based on program path
下载PDF
导出
摘要 设计了一个通用的基于控制流和数据流的结构测试数据自动生成的工具。该工具根据控制流和数据流测试中所采用的覆盖标准来选取测试路径,并以改进后的迭代松弛法为核心,对所选取的路径生成测试数据。同时工具采用Fibonacci法优化选取路径,对不可达路径进行处理,并对测试数据的分支覆盖率、DCP覆盖率等进行了统计。实验结果表明该工具是可行的。 A path-based software tool on automatic test data generation is designed in this paper.The coverage criteria for control flow and data flow are used to optimize the selection of test path.Using improved iterative relaxation method,the tool on pathbased automatic test data generation is used to generate test data for the selected path.The infeasible path is processed with Fibonacci method.The rate of branch coverage and DCP coverage on test data are obtained through the tool.Test results show that the tool is feasible.
出处 《计算机工程与应用》 CSCD 北大核心 2010年第15期53-56,共4页 Computer Engineering and Applications
基金 湖南省教育厅重点科研项目资助(No.07A034)
关键词 路径 测试数据自动生成 覆盖率 path automatic test data generation coverage rate
  • 相关文献

参考文献6

二级参考文献27

  • 1刘勇,曾明,朱利,陈继峰,严建伟.基于数据流的软件测试序列自动生成技术研究[J].微电子学与计算机,2005,22(5):131-135. 被引量:10
  • 2何燕.基路径法测试应用[J].电脑编程技巧与维护,2006(9):27-30. 被引量:1
  • 3Clarke L A. A System to Generate Test Data and Symbolically Execute Programs[J]. IEEE Trans on Software Engineering, 1976, 16(8): 870-879.
  • 4DeMillo R, Offutt J. Constraint-based Automatic Test Data Generation[J]. IEEE Trans on Software Engineering, 1991, 17(9): 900-910.
  • 5Alberto Coen-Porisini, Giovanni Denaro, Carlo Ghezzi, et al. Using Symbolic Execution for Verifying Safety-critical Systems[J]. ACM SIGSOFT Software Engineering Notes, 2001, 26(5): 142-151.
  • 6Chen T Y, Tse T H, Zhou Z Q. Semi-proving: An Integrated Method Based on Global Symbolic Evaluation and Metamorphic Testing[J]. ACM SIGSOFT Software Engineering Notes, 2002, 27(4): 191-195.
  • 7Willem Visser, Corina S Pǎsǎreanu, Sarfraz Khurshid. Test Input Generation with Java PathFinder[J]. ACM SIGSOFT Software Engineering Notes, 2004, 29(4): 97-107.
  • 8Gallagher M J, Narasimhan VL. ADTEST: A Test Data Generation Suite for Ada Software Systems[J]. IEEE Trans on Software Engineering, 1997, 23(8): 473-484.
  • 9Korel B. Automated Software Test Data Generation [J]. IEEE Trans on Software Engineering, 1990, 16(8): 870-879.
  • 10Nguyen Tran Sy, Yves Deville. Consistency Techniques for Interprocedural Test Data Generation[J]. ACM SIGSOFT Software Engineering Notes, 2003, 28(5): 108-117.

共引文献54

同被引文献3

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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