期刊文献+

基于优化模型的类级测试数据自动生成研究

The Automatic Generation of Class Test Data Based on Optimization Template
下载PDF
导出
摘要 研究了一种基于优化使用模型的类级测试用例的自动生成方法。首先使用基于约束的非线性规划问题的求解方法获得Markov链使用模型的状态转移概率,建立优化的使用模型;然后以使用模型的概率转移为约束采用轮盘赌算法自动生成测试用例;最后以Euclidean Distane方法度量测试的充分性。实验表明此方法能够提高测试自动化水平,提高软件的可靠性。 A improved auto-producing mechanism for class_level test data is introduced based on a using tem-plate. Firstly a better Markov train using template is built up by improving the probability of state transformation through the solution of constrain nonlinear programming problem. And then based on the constrain of using template state transformation probability , the testing cases are created randomly and automatically. Finally the testing cover-age is measured by Euclidean Distane Method. Test results indicate that, this proposal can improve the capability of auto software testing and software reliability.
作者 屈迟文
出处 《科学技术与工程》 北大核心 2012年第30期7920-7923,7930,共5页 Science Technology and Engineering
基金 百色学院一般项目(2010KB16)资助
关键词 类级测试数据 MARKOV链使用模型 测试充分性 class level test data, Markov train using template ,testing coverage
  • 相关文献

参考文献3

二级参考文献32

  • 1陈火旺,王戟,董威.高可信软件工程技术[J].电子学报,2003,31(z1):1933-1938. 被引量:115
  • 2吴玉美,阮镰.软件可靠性测试的加速机理研究[J].计算机应用,2006,26(6):1449-1451. 被引量:8
  • 3Gutjahr W J. Failure risk estimation via Markov soft- ware usage models [ C ]//Proc 15th International Con- ference on Computer Safety, Reliability and Security. Vienna, Austria, 1997: 183- 192.
  • 4Gutjahr W J. Importance sampling of test cases in Markovian software usage models [ J ]. Probability in the Engineering and Informational Sciences, 1997, 11 : 19 - 36.
  • 5Gutjahr W J. Software dependability evaluation based on Markov usage models[J]. Performance Evaluation, 2000, 40(4) : 199-222.
  • 6Doerner K, Laure E. High performance computing in the optimization of software test plans[J]. Optimiza- tion and Engineering, 2002, 3:67 - 87.
  • 7Doemer K, Gutjahr W J. Extracting test sequences from a Markov software usage model by ACO[ C ]//Geneticand Evolutionary Computation Conference. Chicago, IL, USA, 2003 : 2465 - 2476.
  • 8Yan J, Zhou K P, Deng C H, et al. Importance sampiing based safety-critical software statistical testing acceleration[ C ]//2010 International Conference on Com- putational Intelligence and Software Engineering. Wuhan, China, 2010:1-4.
  • 9Boer D P-T, Kroese D P, Mannor Set al. A tutorial on the cross-entropy method [ J ]. Annals of Operations Research, 2005, 134:19-67.
  • 10Margolin L. On the convergence of the cross-entropy method [ J ]. Annals of Operations Research, 2005, 134:201-214.

共引文献32

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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