軟件測(cè)試是軟件開發(fā)中必不可少的過(guò)程,它也是確保軟件質(zhì)量的有效方法。目前,軟件測(cè)試傾向于采用自動(dòng)化過(guò)程。軟件自動(dòng)化測(cè)試可以降低開發(fā)成本并且提高測(cè)試效率,然而測(cè)試用例自動(dòng)生成是軟件自動(dòng)化測(cè)試的重要組成部分。測(cè)試用例的生成現(xiàn)存多種方法,但是目前應(yīng)用最廣、效率最高的是基于元啟發(fā)式算法的方法。測(cè)試用例生成的效率與待測(cè)程序的路徑密切相關(guān)。本文主要基于待測(cè)程序的可行路徑進(jìn)行測(cè)試用例生成的研究,首先基于現(xiàn)有的關(guān)鍵路徑表示法提出了改進(jìn),接下來(lái)對(duì)花朵授粉算法提出了兩點(diǎn)優(yōu)化,然后將它們結(jié)合成一種測(cè)試用例生成模型。本文的主要工作如下:首先研究了關(guān)鍵點(diǎn)路徑表示法并且分析它的可行性與限制性,針對(duì)方法的限制性提出了一種可行路徑表示法。該方法符合本文的研究目的,并且使用簡(jiǎn)化的插樁手段對(duì)待測(cè)程序進(jìn)行插樁�？尚新窂奖硎痉ㄊ且环N靜態(tài)方法,在對(duì)待測(cè)程序進(jìn)行實(shí)驗(yàn)前,通過(guò)使用該方法對(duì)待測(cè)程序進(jìn)行路徑分析得到程序的具體路徑信息,使用逆向符號(hào)執(zhí)行技術(shù)對(duì)可行路徑集進(jìn)行可行性再度量,最終得到程序的可行路徑集。然后研究了花朵授粉算法,由于花朵授粉算法在自適應(yīng)性、優(yōu)化精度、收斂速度和陷入局部極值等方面都存在許多不足。為了解決花朵授粉算法的諸...

【文章頁(yè)數(shù)】：72 頁(yè)

【學(xué)位級(jí)別】：碩士

圖2.2授粉與傳粉方式示意圖

圖3.4當(dāng)型循環(huán)結(jié)構(gòu)圖、直到型循環(huán)結(jié)構(gòu)圖

圖3.5示例關(guān)鍵點(diǎn)圖

圖3.6三個(gè)數(shù)排序程序的控制流圖

本文編號(hào)：3887690