期刊文献+

基于遗传算法的测试用例生成技术研究 被引量:2

Study on Test Case Automated Generation Technology Based on Genetic Algorithm
下载PDF
导出
摘要 提出了一种结合遗传算法和神经网络算法的测试用例生成方法,算法融合了误差反向传播算法在避免陷入局部最优和保持种群多样性方面的优势,克服了遗传算法局部搜索能力差及其早熟现象。实验结果表明,新方法在测试用例自动生成的效率和效果方面,优于传统遗传算法。 In the software testing technology, efficient test case generation is a means for simplifying the testing work, and improving the efficiency of the test. A newly kind of software test Qase automated generation method based on genetic algorithm and neural network algorithm is proposed. The algorithm combirnes genetic algorithm with back propagation algorithm to overcome the disadvantages of local optimum and keep the advantages of specics diversity.The experiment results show that this algorithm is superior to the traditional genetic algorithin in efficiency and effectivencss of test case generation.
出处 《长春理工大学学报(自然科学版)》 2010年第3期137-139,47,共4页 Journal of Changchun University of Science and Technology(Natural Science Edition)
关键词 遗传算法 神经网络 测试用例生成 genetic algorithm neural network test case generation
  • 相关文献

参考文献6

二级参考文献13

  • 1杜延,刘从越.嵌入式实时系统软件测试实践[J].微计算机信息,2006(09Z):31-33. 被引量:9
  • 2[5]Hermadi I,Ahmed M A.Genetic Algorithm Based Test Data Genemtor[J].Evolutionary Computation,2003,1(4):85.
  • 3[4]Sthamer H H.The Automatic Generation of Sofiware Test Data Using Genetic Algorithms[D].University of Glamorgan,1995.Proceedings of the 19th IEEE Intemational Conference on Automated.
  • 4David Lee, Mihalis Yannakakis. Principles and Methods of Testing Finite State Machines - A Survey[J]. In Proceedings of the IEEE,1996,84:1090- 1 123.
  • 5Claude Jard, Thierry Jeeron. TGV: Theory, Principles and Algorithms[J]. STTT,2005,7(4) :297 - 315.
  • 6Robert M Hierons. Testing from a Z Specification[J]. The Journal of Software Testing, Verification, and Reliability, 1997,7(1) :19 - 33.
  • 7Fletcher R,Sajeev A S M. A Framework for Testing Object Oriented Software Using Formal Specifications. In Reliable Software Technologies (Ada - Europe '96), Lecture Notes in Computer Science, Mont reux, Switzerland, 1996 : 159 - 170.
  • 8Paul E Black. Modeling and Marshaling: Making Tests from Model Checker Counterexamples[C]. In Proceedings of the 19th Digital Avionics Systems Conferences (DASC), Z000, 1 :1B3/1 - 1B3/6.
  • 9Paul Ammann,Paul E Black. A Specification- based Coverage Metric to Evaluate Test Sets[J]. In HASE, 1999, IEEE Computer Society, 1999 : 239 - 248.
  • 10Paul Ammann, Paul E Black, William Majurski. Using Model Checking to Generate Tests from Specifications. In ICF - EM, 1998.

共引文献14

同被引文献19

引证文献2

二级引证文献7

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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