隨著計(jì)算機(jī)科學(xué)技術(shù)的發(fā)展,軟件的復(fù)雜性越來(lái)越高,由軟件故障造成的損失也越來(lái)越大。目前軟件測(cè)試是保障軟件系統(tǒng)質(zhì)量的關(guān)鍵手段,而在軟件測(cè)試環(huán)節(jié),測(cè)試效率、測(cè)試成本等都影響著軟件質(zhì)量。因此,如何生成規(guī)模較小的測(cè)試用例集成為軟件測(cè)試領(lǐng)域的一項(xiàng)重要研究?jī)?nèi)容。在該領(lǐng)域,組合測(cè)試技術(shù)因考慮到參數(shù)之間的相互作用而具有較強(qiáng)的軟件故障檢測(cè)能力。本文在組合測(cè)試模型的基礎(chǔ)上,分析總結(jié)了國(guó)際航空運(yùn)輸協(xié)會(huì)(International Air Transport Association,IATA)IMX(Integrated Management X-Software)系統(tǒng)參數(shù)特征以及測(cè)試過(guò)程中存在的測(cè)試用例冗余問(wèn)題,根據(jù)粒子群算法的特點(diǎn)將其用于生成單個(gè)測(cè)試用例,同時(shí)分析了粒子群算法中影響結(jié)果的參數(shù)情況,結(jié)合一維擴(kuò)展策略,提出了一種以一維擴(kuò)展為基礎(chǔ)的改進(jìn)粒子群測(cè)試用例集生成算法。實(shí)驗(yàn)表明,該算法生成的組合測(cè)試用例集和其他算法、工具相比,具有較強(qiáng)的適應(yīng)性和優(yōu)勢(shì),適合不斷更新迭代的軟件,可作為組合測(cè)試用例集生成算法的有效補(bǔ)充。為了進(jìn)一步生成符合實(shí)際運(yùn)行軟件的測(cè)試用例,本文分析了如IMX這類大型軟件系統(tǒng)的參數(shù)特點(diǎn),該類軟件具有參數(shù)以及取值較多,同時(shí)參數(shù)取值之間存在依賴約束關(guān)系的特點(diǎn)。針對(duì)上述參數(shù)特點(diǎn),提出了兩種參數(shù)約簡(jiǎn)算法,可以在生成測(cè)試用例集之前解決“組合爆炸”的問(wèn)題。隨后,本文對(duì)IPO(In-Parameter-Order)算法進(jìn)行了改進(jìn),按照參數(shù)規(guī)模遞減排序進(jìn)行參數(shù)的輸入,在水平擴(kuò)展和豎直擴(kuò)展的基礎(chǔ)上提出一種新的IPO算法用于快速生成組合測(cè)試用例集。實(shí)驗(yàn)表明,該算法大大減少了生成的測(cè)試用例個(gè)數(shù),縮短了生成時(shí)間,達(dá)到了提高測(cè)試效率,降低測(cè)試成本的目的。
【學(xué)位單位】：中國(guó)民航大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位年份】：2018
【中圖分類】：TP311.53
【文章目錄】：
摘要
ABSTRACT
第一章 緒論
    1.1 研究背景與意義
        1.1.1 研究背景
        1.1.2 研究意義
    1.2 國(guó)內(nèi)外研究現(xiàn)狀
    1.3 本文研究?jī)?nèi)容
    1.4 論文組織結(jié)構(gòu)
第二章 相關(guān)理論與技術(shù)
    2.1 IMX簡(jiǎn)介
        2.1.1 IMX系統(tǒng)功能
        2.1.2 IMX測(cè)試需求
    2.2 組合測(cè)試模型
        2.2.1 組合測(cè)試模型簡(jiǎn)介
        2.2.2 組合覆蓋生成測(cè)試用例示例
    2.3 組合測(cè)試模型求解方法概述
        2.3.1 代數(shù)構(gòu)造方法
        2.3.2 貪心算法
        2.3.3 元啟發(fā)式搜索算法
    2.4 本章小結(jié)
第三章 基于改進(jìn)粒子群算法的IMX系統(tǒng)組合測(cè)試用例生成
    3.1 粒子群算法
        3.1.1 粒子群算法原理
        3.1.2 粒子群算法流程
    3.2 基于改進(jìn)粒子群算法的組合測(cè)試用例生成
        3.2.1 基于粒子群算法的單個(gè)測(cè)試用例生成算法
        3.2.2 基于改進(jìn)粒子群算法的組合測(cè)試用例生成算法
    3.3 實(shí)驗(yàn)及結(jié)果分析
        3.3.1 實(shí)驗(yàn)環(huán)境與數(shù)據(jù)
        3.3.2 實(shí)驗(yàn)結(jié)果分析
    3.4 本章小結(jié)
第四章 基于IPO算法的IMX系統(tǒng)組合測(cè)試用例生成
    4.1 待測(cè)軟件系統(tǒng)的參數(shù)分析
        4.1.1 參數(shù)取值約簡(jiǎn)
        4.1.2 基于依賴約束的參數(shù)約簡(jiǎn)
    4.2 基于IPO算法的組合測(cè)試用例集生成算法
        4.2.1 IPO算法的水平擴(kuò)展
        4.2.2 IPO算法的豎直擴(kuò)展
        4.2.3 組合測(cè)試用例集生成算法
    4.3 實(shí)驗(yàn)設(shè)計(jì)及結(jié)果分析
        4.3.1 實(shí)驗(yàn)設(shè)計(jì)
        4.3.2 實(shí)驗(yàn)結(jié)果分析
    4.4 本章小結(jié)
第五章 總結(jié)與展望
    5.1 總結(jié)
    5.2 展望
參考文獻(xiàn)
致謝
作者簡(jiǎn)介

【參考文獻(xiàn)】

相關(guān)期刊論文 前10條

1 劉鐵橋;牛小燕;楊潔;毛峰;;一種高效的混合Test-Per-Clock測(cè)試方法[J];電子與信息學(xué)報(bào);2017年09期

2 馮霞;郝慧敏;;GA-ACO算法用于IMX系統(tǒng)測(cè)試數(shù)據(jù)自動(dòng)生成[J];北京郵電大學(xué)學(xué)報(bào);2016年05期

3 曾夢(mèng)凡;陳思洋;張文茜;聶長(zhǎng)海;;利用蟻群算法生成覆蓋表:探索與挖掘[J];軟件學(xué)報(bào);2016年04期

4 李征;鞏敦衛(wèi);聶長(zhǎng)海;江賀;;基于搜索的軟件工程研究專題前言[J];軟件學(xué)報(bào);2016年04期

5 馮霞;郝慧敏;;基于遺傳算法的IMX系統(tǒng)測(cè)試數(shù)據(jù)自動(dòng)生成研究[J];電子與信息學(xué)報(bào);2015年10期

6 王建峰;孫超;姜守達(dá);;基于粒子群優(yōu)化的組合測(cè)試數(shù)據(jù)生成算法[J];哈爾濱工程大學(xué)學(xué)報(bào);2013年04期

7 王子元;錢(qián)巨;陳林;徐寶文;;基于One-test-at-a-time策略的可變力度組合測(cè)試用例生成方法[J];計(jì)算機(jī)學(xué)報(bào);2012年12期

8 潘爍;王曙燕;孫家澤;;基于K-均值聚類粒子群優(yōu)化算法的組合測(cè)試數(shù)據(jù)生成[J];計(jì)算機(jī)應(yīng)用;2012年04期

9 陳翔;顧慶;王子元;陳道蓄;;一種基于粒子群優(yōu)化的成對(duì)組合測(cè)試算法框架[J];軟件學(xué)報(bào);2011年12期

10 李宏博;李占山;韓文成;;基于等價(jià)類劃分的配置求解與解釋計(jì)算[J];軟件學(xué)報(bào);2011年05期

相關(guān)碩士學(xué)位論文 前1條

1 郝慧敏;IMX系統(tǒng)測(cè)試數(shù)據(jù)自動(dòng)生成研究[D];中國(guó)民航大學(xué);2016年

本文編號(hào)：2875338