【摘要】：軟件測試是保證軟件質(zhì)量的有效手段之一。針對科學(xué)計(jì)算類程序(簡稱計(jì)算類)測試中遇到的Oracle問題,蛻變測試技術(shù)是一種緩解此類問題且具有應(yīng)用前景的技術(shù)。目前應(yīng)用蛻變測試技術(shù)對計(jì)算類軟件進(jìn)行測試大多是采用人工的方式,效率低。因此,開發(fā)一款自動化蛻變測試工具顯得尤為重要。本文在研究測試相關(guān)理論基礎(chǔ)上,基于蛻變測試技術(shù)應(yīng)用于計(jì)算類軟件測試的背景下,設(shè)計(jì)、開發(fā)了一款自動化蛻變測試工具,旨在基于線性蛻變關(guān)系求解生成衍生測試用例,提高計(jì)算類程序驗(yàn)證測試效率。本論文主要論述了此蛻變測試工具的設(shè)計(jì)與實(shí)現(xiàn),并使用計(jì)算類程序在此工具上進(jìn)行測試,驗(yàn)證了該工具的實(shí)用性。蛻變測試工具的設(shè)計(jì)思路是:待測程序的原始測試用例調(diào)用線性蛻變關(guān)系求解生成衍生測試用例,然后,執(zhí)行測試用例并得到與原始測試用例和衍生測試用例相對應(yīng)的運(yùn)行結(jié)果,最后,再驗(yàn)證兩個(gè)運(yùn)行結(jié)果是否滿足某種線性蛻變關(guān)系�？偣卜譃槲鍌�(gè)功能模塊:選擇原始測試用例、選擇蛻變關(guān)系、生成衍生測試用例、執(zhí)行蛻變測試、測試結(jié)果分析。其中,生成衍生測試用例模塊包括調(diào)用原始測試用例、蛻變關(guān)系以及修改、刪除等功能。執(zhí)行蛻變測試模塊包括調(diào)用原始測試用例、衍生測試用例和執(zhí)行程序三個(gè)功能。測試結(jié)果分析模塊包括調(diào)用輸出結(jié)果文件、差異提取和生成測試報(bào)告。蛻變測試工具主要應(yīng)用于計(jì)算程序的驗(yàn)證測試。本文主要以簡單的計(jì)算函數(shù)sinx函數(shù)對本工具進(jìn)行了驗(yàn)證,驗(yàn)證結(jié)果證明該工具達(dá)到了預(yù)期效果,不但能夠指導(dǎo)生成衍生測試用例,在一定程度上有效地提高了計(jì)算類程序的蛻變測試效率。
【圖文】：

3 軟件測試模型著計(jì)算機(jī)的迅猛發(fā)展，軟件規(guī)模越來越大，，選擇正確的軟件測試模更好地把控程序全局以及程序之間的內(nèi)部關(guān)系。V 模型、W 模型、 模型等較為典型的軟件測試模型[31]，它們有各自的優(yōu)勢，但也存在，下面一一對其進(jìn)行論述。 模型是軟件測試中最基礎(chǔ)的模型，占有舉足輕重的地位，為其他測奠定了基礎(chǔ)[32]。該模型如圖 2.2 所示：

19保存、備份并和所操作的原始測試用例文件保持實(shí)時(shí)更新，操作簡單、方便、快捷。選擇蛻變關(guān)系模塊目的是將選取的蛻變關(guān)系文件里面的數(shù)據(jù)顯示到界面上的蛻變關(guān)系顯示區(qū)處，而且可以在界面上對數(shù)據(jù)進(jìn)行修改、刪除、保存、備份并和所操作的蛻變關(guān)系文件保持實(shí)時(shí)更新，操作簡單、方便、快捷。生成衍生測試用例模塊是在執(zhí)行了選擇原始測試用例和選擇蛻變關(guān)系功能后的一步操作，執(zhí)行此功能后，會將原始測試用例調(diào)用蛻變關(guān)系生成的數(shù)據(jù)顯示到界面的衍生測試用例顯示區(qū)處并對其進(jìn)行備份，而且亦可以在界面上對其進(jìn)行修改、刪除、保存、關(guān)閉并和生成的衍生測試用例文件保持實(shí)時(shí)更新，操作簡單、方便、快捷。執(zhí)行測試用例模塊是在原始測試用例和衍生測試用例完備之后進(jìn)行的一步
【學(xué)位授予單位】：南華大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2018
【分類號】：TP311.53

【參考文獻(xiàn)】

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

1 趙鵬;楊劍;周近;;軟件測試發(fā)展創(chuàng)新問題探究[J];計(jì)算機(jī)光盤軟件與應(yīng)用;2012年08期

2 王tb;賁可榮;;蛻變關(guān)系構(gòu)造基本準(zhǔn)則與策略研究[J];計(jì)算機(jī)科學(xué);2012年01期

3 鄧璐娟;刁海港;孫義坤;潘凱潔;;軟件測試模型及X模型的改進(jìn)[J];鄭州輕工業(yè)學(xué)院學(xué)報(bào)(自然科學(xué)版);2011年01期

4 張衛(wèi)祥;劉文紅;;灰盒測試方法的實(shí)踐與研究[J];飛行器測控學(xué)報(bào);2010年06期

5 董國偉;徐寶文;陳林;聶長海;王璐璐;;蛻變測試技術(shù)綜述[J];計(jì)算機(jī)科學(xué)與探索;2009年02期

6 劉洋;;白盒測試技術(shù)概述[J];廣西大學(xué)學(xué)報(bào)(自然科學(xué)版);2008年S1期

7 單錦輝,姜瑛,孫萍;軟件測試研究進(jìn)展[J];北京大學(xué)學(xué)報(bào)(自然科學(xué)版);2005年01期

8 黃龍水,黃誠學(xué);軟件測試模型介紹[J];艦船電子工程;2004年03期

9 許靜,陳宏剛,王慶人;軟件測試方法簡述與展望[J];計(jì)算機(jī)工程與應(yīng)用;2003年13期

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

1 陳曉凡;基于ODC的核電設(shè)計(jì)軟件異常分類及預(yù)防研究[D];南華大學(xué);2016年

2 冷先剛;軟件測試模型與方法研究[D];武漢理工大學(xué);2009年

本文編號：2604293