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

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

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

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

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

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

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

本文編號：3887690