markov链使用模型的测试用例生成方法研究

《markov链使用模型的测试用例生成方法研究》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第40卷第5期电子科技大学学报Vol.40No.52011年9月JournalofUniversityofElectronicScienceandTechnologyofChinaSep.2011·计算机工程与应用·Markov链使用模型的测试用例生成方法研究12雷航，陈丽敏(1.电子科技大学信息与软件工程学院成都610054;2.电子科技大学计算机科学与工程学院成都610054)【摘要】采用基于马尔科夫链使用模型的软件测试，在状态与激励序列中，从“开始”状态到“结束”状态形成一个完整的测试案例。因此，输入和激励的选择对于产生高效的测试案

2、例十分重要。提出一种激励选择——带概率约束的随机选择方法，以软件Markov链模型的状态迁移概率作为激励选择的约束条件，使用遗传算法中用于选择下一代种群的选择算子——轮盘赌选择算子对激励进行选择。通过与以往的激励选择方法对比，验证了所提出的方法能提高生成测试用例的有效性。关键词Markov链;轮盘赌算法;测试用例;测试输入;使用模型中图分类号TP311.5文献标识码Adoi:10.3969/j.issn.1001-0548.2011.05.019TestCaseGenerationBasedonMarkovChainUsageModel12

3、LEIHangandCHENLi-min(1.SchoolofInformationandSoftwareEngineering,UniversityofEleatronicScienceandTechnologyofChinaChengdu610054;2.SchoolofComputerScienceandEngineering,UniversityofEleatronicScienceandTechnologyofChinaChengdu610054)AbstractInsoftwaretestingbasedonMarkovchai

4、nusagemodel,thesequenceofstateandstimulusfromstate”Start”tostate”Exit”isacompletetestcase.Therefore,testinput,stimulus,isveryimportanttogenerateeffectivetestcase.Focusingonthis,amethodforselectingstimulusisproposedinthepaper,calledarandomselectionalgorithmwithprobabilityco

5、nstrained.ThismethodusesthemigratingprobabilitybetweenstatesofMarkovchainusagemodelasconstraints,selectsstimulusbyrouletteselectionoperator,andthengetsthenextstate.Rouletteselectionoperatorisusedingeneticalgorithmtoselectnextgenerationofspecies.Inthispaper,itisusedtoselect

6、stimulusateverystate.Comparedwiththepreviousselectionmethod,randomselectionalgorithmwithprobabilityconstrainedcanimprovetheeffectivenessoftestcases.KeywordsMarkovchain;roulettealgorithm;testcase;testinput;usagemodel软件测试是软件开发的重要步骤和软件质量保主要集中在软件测试模型本身的研究，即如何针对证的重要环节。就其目的而言，软件

7、测试可以分为不同类型的软件提取专用模型，又可从专用模型中两类：1)通过测试发现错误，并不断改正错误，以抽象通用模型。而在测试用例生成方面，由于在以期得到高质量的软件；2)统计学的方法测试软件的往的测试用例生成中主要采用边界值、等价类划分可靠性(reliability)。等分析方法，用于手动生成测试用例，而该类分析基于模型的软件测试属统计测试的范畴，要求生成测试用例的方法不利于测试用例的自动生成。基于软件的使用模型产生测试用例对软件系统进行本文针对上述问题，在基于模型的测试用例自动生测试。根据统计测试结果，可以估计被测软件的可成方法上进行研究

8、。[1]靠性，因此软件统计测试也称为软件可靠性测试。1软件使用模型软件的使用模型以一种形式化的方式表现出来，如有限状态机、UML模型和Markov链。模型是1.1概述对软件使用情