發(fā)布時間：2021-08-20 06:52

　　傳統(tǒng)測試中通過對比程序的輸出結(jié)果與預(yù)期結(jié)果是否一致,來判斷此次測試中是否發(fā)現(xiàn)了錯誤。但當(dāng)一個待測程序的輸入與輸出關(guān)系很復(fù)雜時,將難以為待測程序構(gòu)造預(yù)期輸出。這即是軟件測試中的Oracle問題。蛻變測試通過驗證多個測試用例及其輸出是否滿足蛻變關(guān)系來判斷程序中是否存在錯誤,從而緩解了測試中的預(yù)言問題。蛻變關(guān)系是蛻變測試的核心。為了確保蛻變測試的有效性,在蛻變測試中會構(gòu)造出大量的蛻變關(guān)系。若所有的蛻變關(guān)系都用于測試將嚴(yán)重影響蛻變測試的效率,因此需要對蛻變關(guān)系進(jìn)行優(yōu)化,選擇少量高效的蛻變關(guān)系用于測試。蛻變關(guān)系優(yōu)化的前提是對蛻變關(guān)系進(jìn)行衡量,現(xiàn)有的錯誤發(fā)現(xiàn)率和變異分?jǐn)?shù)主要用來衡量單個蛻變關(guān)系的檢錯效率,忽略了蛻變關(guān)系檢錯之間的差異性。本文主要研究了數(shù)值程序蛻變關(guān)系的構(gòu)造方法,蛻變關(guān)系的優(yōu)化及與之相關(guān)的蛻變關(guān)系差異性度量問題。在蛻變關(guān)系構(gòu)造方面,改進(jìn)了基于等價類劃分的蛻變關(guān)系構(gòu)造方法、提出了基于Oracle的蛻變關(guān)系構(gòu)造方法和基于函數(shù)性質(zhì)的蛻變關(guān)系構(gòu)造方法。實驗結(jié)果表明該方法在保證蛻變測試有效性的同時可降低蛻變關(guān)系構(gòu)造的復(fù)雜度。在蛻變關(guān)系優(yōu)化方面,為了衡量蛻變關(guān)系的差異性本文提出了兩種蛻變關(guān)系衡量... 

【文章來源】：華僑大學(xué)福建省

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

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

【部分圖文】：

蛻變測試示意圖

變異算子作用圖

Globe源碼

【參考文獻(xiàn)】：
期刊論文
[1]基于差異度分析的蛻變關(guān)系選取方法[J]. 張興隆,于磊,侯雪梅,李志博,李剛.  計算機工程與設(shè)計. 2017(01)
[2]蛻變關(guān)系敏感度及其聚類分析[J]. 謝曉東,彭聲明,劉艷,汪康煒,王田,王成.  電子學(xué)報. 2016(05)
[3]基于路徑分析和迭代蛻變測試的Bug檢測[J]. 董國偉,郭濤,張普含,賈依真.  清華大學(xué)學(xué)報(自然科學(xué)版). 2014(01)
[4]蛻變關(guān)系構(gòu)造基本準(zhǔn)則與策略研究[J]. 王瑢,賁可榮.  計算機科學(xué). 2012(01)
[5]蛻變測試和斷言檢查的比較與實驗研究(英文)[J]. 張震宇,陳榮光,謝俊謙,胡佩鋒.  軟件學(xué)報. 2009(10)
[6]基于程序路徑分析的有效蛻變測試[J]. 董國偉,聶長海,徐寶文.  計算機學(xué)報. 2009(05)
[7]蛻變測試技術(shù)綜述[J]. 董國偉,徐寶文,陳林,聶長海,王璐璐.  計算機科學(xué)與探索. 2009(02)



本文編號：3353029