期刊文献+

基于改进模拟退火遗传算法的测试用例优化方法研究 被引量:2

A Method of Test Case Optimization Based on Improved Simulated Annealing Genetic Algorithm
下载PDF
导出
摘要 面向对象软件不同于传统的面向过程软件,其具有封装性、继承性和多态性。面向对象软件中类的方法中可能会调用其他类的对象,导致很难获取其他类的对象状态,并且由于其继承性和多态性,程序中可能存在多种执行路径,如果用传统方法生成测试用例,很难达到较高的测试覆盖率。针对这个问题,提出一种新的面向对象软件单元测试用例生成方法。这一方法基于改进的模拟退火遗传算法,使得优化过的测试序列可以覆盖到程序中更多的分支,生成的测试用例具有更高的覆盖率。通过实验验证方法的可行性,并与其他方法进行对比实验。实验结果证明该方法具有较高的分支覆盖率。 Different from procedure-oriented software, object-oriented program has encapsulation, inheritance and polymorphism. The methods of classes in object-oriented program may call the objects of other classes. But it is too difficult to get the real objects state. And because of its inheritance and polymorphism, there may have a variety of program execution path. It is difficult to achieve satisfy the test coverage if it use the conventional method to generate the test cases. Aiming at this problem, proposes an approach of object-oriented program unit test case generation based on improved simulated annealing genetic algorithm. The test sequences optimized by simulated annealing genetic algorithm can cover more branches in the program, the generated test cases will have higher coverage. Finally, the feasibility of the method is verified by the experiments and compared with other methods. Experimental results show that the proposed approach has higher branch coverage.
出处 《现代计算机(中旬刊)》 2015年第11期3-6,共4页 Modern Computer
基金 四川省应用基础研究项目(No.2014JY0112)
关键词 测试用例生成 方法调用序列 模拟退火遗传算法 分支覆盖率 Test Case Generation Method-Call Sequence Simulated Annealing Genetic Algorithms Branch Coverage
  • 相关文献

参考文献1

二级参考文献19

  • 1朱丹,李暾,郭阳,李思昆.微处理器体系结构级测试程序自动生成技术[J].软件学报,2005,16(12):2172-2180. 被引量:7
  • 2易江芳,佟冬,程旭.GATEST:使用遗传算法自动生成模拟矢量的验证平台[J].北京大学学报(自然科学版),2006,42(5):668-673. 被引量:7
  • 3易江芳,佟冬,程旭.使用贝叶斯网络的高效模拟矢量生成方法[J].计算机辅助设计与图形学学报,2007,19(5):616-621. 被引量:7
  • 4Bergeron J. Writing testbenches: functional verification of HDL models [M]. 2nd ed. Norwell: Kluwer Academic Publishers, 2003.
  • 5Fournier L, Arbetman Y, Levinger M. Functional verification methodology for microprocessors using the Genesys test program generator [C] //Proceedings of the Conference on Design, Automation and Test in Europe, Munich, 1999: Article No. 92.
  • 6Shimizu K, Gupta S, Koyama T, et al. Verification of the cell broadband engine^TM processor [C] //Proceedings of the 43rd Annual ACM IEEE Design Automation Conference, San Francisco, 2006:338-343.
  • 7Sanchez E, Squillero G. Evolutionary techniques applied to hardware optimization problems: test and verification of advanced processors [J]. Studies in Computational Intelligence, 2007, 66:303-326.
  • 8Adir A, Almog E, Fournier L, et al. Genesys-pro: innovations in test program generation for functional processor verification [J]. IEEE Design &Test, 2004, 21(2): 84-93.
  • 9Gluska A. Practical methods in coverage-oriented verification of the Merom microprocessor [C] //Proceedings of the 43rd Annual ACM IEEE Design Automation Conference, San Francisco, 2006:332-337.
  • 10Fine S, Ziv A. Coverage directed test generation for functional verification using Bayesian networks [C] // Proceedings of the 40th Annual ACM IEEE Design Automation Conference, Anaheim, 2003:286-291.

共引文献2

同被引文献6

引证文献2

二级引证文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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