計(jì)算機(jī)軟件在軍用裝備中所占比重越來(lái)越大,軟件質(zhì)量的好壞決定著裝備質(zhì)量的高低,而軟件測(cè)試則是提高軟件質(zhì)量的重要手段。UML狀態(tài)圖是一種廣泛用于基于模型測(cè)試的建模方法,遷移覆蓋是其中重要的測(cè)試覆蓋準(zhǔn)則。狀態(tài)圖中遷移之間的依賴關(guān)系會(huì)使得遷移路徑不能按照輸入序列來(lái)執(zhí)行,從而導(dǎo)致覆蓋率的下降,影響測(cè)試效果。為此,提出了一種改進(jìn)的分組遺傳算法來(lái)實(shí)現(xiàn)可執(zhí)行遷移路徑的自動(dòng)生成,該算法通過(guò)合理設(shè)計(jì)編碼方式和適應(yīng)度函數(shù)來(lái)解決問(wèn)題。算法在遺傳操作中引入自適應(yīng)的交叉和變異算子以及模擬退火機(jī)制來(lái)提高求解速度,加入修補(bǔ)算子對(duì)個(gè)體長(zhǎng)度進(jìn)行限制。實(shí)驗(yàn)結(jié)果表明,該方法能夠在縮小遺傳種群規(guī)模和減少遺傳代數(shù)的基礎(chǔ)上提高遷移覆蓋率。 

【文章來(lái)源】：計(jì)算機(jī)科學(xué)與探索. 2019,13(06)北大核心

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

【文章目錄】：
1 引言
2 研究背景
    2.1 相關(guān)概念
    2.2 相關(guān)工作
3 改進(jìn)的分組遺傳算法
    3.1 個(gè)體編碼
    3.2 初始化算法
    3.3 適應(yīng)度算法
    3.4 遺傳操作算子
        3.4.1 選擇算子
        3.4.2 交叉算子
        3.4.3 變異算子
        3.4.4 修補(bǔ)算子
4 遷移路徑生成
5 實(shí)驗(yàn)與分析
    5.1 算法覆蓋率實(shí)驗(yàn)分析
    5.2 算法性能實(shí)驗(yàn)分析
6 結(jié)束語(yǔ)


【參考文獻(xiàn)】：
期刊論文
[1]帶Metropolis準(zhǔn)則的混合離散布谷鳥(niǎo)算法求解旅行商問(wèn)題[J]. 林敏,劉必雄,林曉宇.  南京大學(xué)學(xué)報(bào)(自然科學(xué)). 2017(05)
[2]基于改進(jìn)遺傳算法的測(cè)試數(shù)據(jù)自動(dòng)生成的研究[J]. 高雪笛,周麗娟,張樹(shù)東,柳昊明.  計(jì)算機(jī)科學(xué). 2017(03)
[3]基于輸出域的測(cè)試用例自動(dòng)生成方法研究[J]. 尤楓,趙瑞蓮,呂珊珊.  計(jì)算機(jī)研究與發(fā)展. 2016(03)
[4]基于分支覆蓋的回歸測(cè)試路徑選擇[J]. 吳川,鞏敦衛(wèi),姚香娟.  軟件學(xué)報(bào). 2016(04)

博士論文
[1]統(tǒng)一的軟件測(cè)試控制流覆蓋準(zhǔn)則體系及其符號(hào)執(zhí)行制導(dǎo)技術(shù)研究[D]. 李游.南京大學(xué) 2016
[2]基于EFSM的測(cè)試用例自動(dòng)化生成關(guān)鍵技術(shù)研究[D]. 楊瑞.南京大學(xué) 2015



本文編號(hào)：3021982