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

【文章來源】：計算機科學與探索. 2019,13(06)北大核心

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

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


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

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



本文編號：3021982