一种基于高阶Markov使用模型的测试用例自动生成方法
|
摘要
为了解决基于单纯马尔可夫使用模型测试用例生成不稳定、测试充分性判定不精确的问题,在分析现有测试用例自动生成方法的基础上,提出一种改进的高阶马尔可夫测试模型,并依据此模型,提出改进的基于快速轮盘赌的二分查找测试用例生成方法和基于相对熵的测试充分性判定方法。实践表明,改进后的方法有效地提高了测试用例生成的稳定性和测试充分性判定的精确性,与原有方法比较更适合大规模软件的测试,提高了大规模软件自动化测试的效率。
In order to solve the problem that the test case generation based on the pure Markov usage model is unstable and the test adequacy judgment is inaccurate,an improved high-order Markov test model is proposed on the basis of analyzing the existing test case automatic generation methods. According to this model,an improved test case generation method based on the binary search of the fast roulette,and a test adequacy judgment method based on the relative entropy are put forward. The practical results show that in comparison with the original methods,the improved method can effectively improve the generation stability of test cases and the judgment accuracy of test adequacy,which is suitable for large-scale software testing,and im-proves the efficiency of large-scale software automatic testing.
In order to solve the problem that the test case generation based on the pure Markov usage model is unstable and the test adequacy judgment is inaccurate,an improved high-order Markov test model is proposed on the basis of analyzing the existing test case automatic generation methods. According to this model,an improved test case generation method based on the binary search of the fast roulette,and a test adequacy judgment method based on the relative entropy are put forward. The practical results show that in comparison with the original methods,the improved method can effectively improve the generation stability of test cases and the judgment accuracy of test adequacy,which is suitable for large-scale software testing,and im-proves the efficiency of large-scale software automatic testing.
引文
[1]KATAYAMA T,ZHAO Z,KITA Y,et al.Proposal of a method to build Markov chain usage model from UML diagrams for communication delay testing in distributed systems[J].Journal of robotics networking&artificial life,2014,1(2):120-124.
[2]MCGREGOR S,BUCKINGHAM H,DIETTERICH T G,et al.Facilitating testing and debugging of Markov decision processes with interactive visualization[C]//Proceedings of Symposium on Visual Languages and Human-Centric Computing.Atlanta:IEEE,2015:53-61.
[3]夏威.基于Markov模型的可靠性测试用例生成技术研究[D].杭州:杭州电子科技大学,2016.XIA Wei.Research on reliability test case generation based on Markov model[D].Hangzhou:Hangzhou Dianzi University,2016.
[4]刘洋,于磊,徐炜珊,等.基于层次结构Markov链的软件可靠性建模方法[J].信息工程大学学报,2015,16(4):477-482.LIU Yang,YU Lei,XU Weishan,et al.Software reliability modeling based on hierarchical structure of Markov chain[J].Journal of Information Engineering University,2015,16(4):477-482.
[5]雷航,马成功.Markov模型的软件可靠性测试充分性问题的研究[J].电子科技大学学报,2010,39(1):101-105.LEI Hang,MA Chenggong.Testing adequacy of software reliability in Markov model[J].Journal of University of Electronic Science and Technology of China,2010,39(1):101-105.
[6]陈丽敏.基于马尔可夫链模型的软件可靠性测试方法研究[D].成都:电子科技大学,2010.CHEN Limin.Research on software reliability testing method based on Markov chain model[D].Chengdu:University of Electronic Science and Technology of China,2010.
[7]吴彩华,刘俊涛,彭世蕤,等.基于UML的软件Markov链使用模型的构建[J].计算机研究与发展,2012,49(8):1811-1819.WU Caihua,LIU Juntao,PENG Shirui,et al.Deriving Markov chain usage model from UML model[J].Journal of computer research and development,2012,49(8):1811-1819.
[8]赵爱华.基于UML模型的软件使用模型生成技术研究与实现[D].北京:北京交通大学,2017.ZHAO Aihua.Research and implementation of software usage model generation technology based on UML model[D].Beijing:Beijing Jiaotong University,2017.
[9]KHAN R H,HEEGAARD P E.Translation from UML to Markov model:a performance modeling framework[M].Dordrecht:Springer,2010.
[10]李俊海.高阶Markov链转移概率规律一种新表示法[J].应用数学,2015,28(1):158-164.LI Junhai.A representation for transition probability of highorder Markov chain[J].Mathematica applicata,2015,28(1):158-164.
[11]PROWELL S J,TRAMMELL C J,LINGER R C,et al.Cleanroom software engineering:technology and process[M].New York:McGraw Hill,1998.
[12]PROWELL S J.TML:a description language for Markov chain usage models[J].Information and software technology,2000,42(12):835-844.
[2]MCGREGOR S,BUCKINGHAM H,DIETTERICH T G,et al.Facilitating testing and debugging of Markov decision processes with interactive visualization[C]//Proceedings of Symposium on Visual Languages and Human-Centric Computing.Atlanta:IEEE,2015:53-61.
[3]夏威.基于Markov模型的可靠性测试用例生成技术研究[D].杭州:杭州电子科技大学,2016.XIA Wei.Research on reliability test case generation based on Markov model[D].Hangzhou:Hangzhou Dianzi University,2016.
[4]刘洋,于磊,徐炜珊,等.基于层次结构Markov链的软件可靠性建模方法[J].信息工程大学学报,2015,16(4):477-482.LIU Yang,YU Lei,XU Weishan,et al.Software reliability modeling based on hierarchical structure of Markov chain[J].Journal of Information Engineering University,2015,16(4):477-482.
[5]雷航,马成功.Markov模型的软件可靠性测试充分性问题的研究[J].电子科技大学学报,2010,39(1):101-105.LEI Hang,MA Chenggong.Testing adequacy of software reliability in Markov model[J].Journal of University of Electronic Science and Technology of China,2010,39(1):101-105.
[6]陈丽敏.基于马尔可夫链模型的软件可靠性测试方法研究[D].成都:电子科技大学,2010.CHEN Limin.Research on software reliability testing method based on Markov chain model[D].Chengdu:University of Electronic Science and Technology of China,2010.
[7]吴彩华,刘俊涛,彭世蕤,等.基于UML的软件Markov链使用模型的构建[J].计算机研究与发展,2012,49(8):1811-1819.WU Caihua,LIU Juntao,PENG Shirui,et al.Deriving Markov chain usage model from UML model[J].Journal of computer research and development,2012,49(8):1811-1819.
[8]赵爱华.基于UML模型的软件使用模型生成技术研究与实现[D].北京:北京交通大学,2017.ZHAO Aihua.Research and implementation of software usage model generation technology based on UML model[D].Beijing:Beijing Jiaotong University,2017.
[9]KHAN R H,HEEGAARD P E.Translation from UML to Markov model:a performance modeling framework[M].Dordrecht:Springer,2010.
[10]李俊海.高阶Markov链转移概率规律一种新表示法[J].应用数学,2015,28(1):158-164.LI Junhai.A representation for transition probability of highorder Markov chain[J].Mathematica applicata,2015,28(1):158-164.
[11]PROWELL S J,TRAMMELL C J,LINGER R C,et al.Cleanroom software engineering:technology and process[M].New York:McGraw Hill,1998.
[12]PROWELL S J.TML:a description language for Markov chain usage models[J].Information and software technology,2000,42(12):835-844.