【摘要】：隨著計算機技術(shù)的迅速發(fā)展,軟件產(chǎn)品的數(shù)量和規(guī)模都在以超前的速度增長。為了對軟件產(chǎn)品質(zhì)量進行保障并對開發(fā)工作質(zhì)量進行監(jiān)控和衡量,通常會對軟件產(chǎn)品進行測試工作。在軟件開發(fā)流程中,根據(jù)軟件測試的階段和目的的不同,從過程上所進行的測試工作可以被劃分為單元測試、集成測試、系統(tǒng)測試和確認測試。而軟件測試的開銷在軟件開發(fā)的整體開銷中常常要占據(jù)到30%到50%。軟件測試對軟件開發(fā)工作的質(zhì)量做出了評估,而本課題中將要用到的變異測試技術(shù)則是一種對測試工作質(zhì)量進行評估并輔助進行測試的技術(shù)手段;同時變異測試技術(shù)也是一種對測試工作進行優(yōu)化的手段,可用于測試集中測試用例的規(guī)約、測試用例的優(yōu)化等方面。傳統(tǒng)的變異技術(shù)思路是從代碼層面出發(fā),使用特定變異算子作用于待測系統(tǒng),對軟件系統(tǒng)代碼的內(nèi)容做出修改,希望用這種人為的錯誤注入來對實際有可能出現(xiàn)的軟件缺陷進行模擬。變異測試是一種基于缺陷注入的技術(shù),但代碼可變更存在極其多樣的狀況使得變異測試成本極高,為這一技術(shù)的實際應用造成了很大的障礙。本課題中所提出的基于模型的變異測試方法則是將變異的思想融合進基于模型的測試方法之中,使用有向圖模型,從軟件模塊功能或工作狀態(tài)出發(fā),對其系統(tǒng)行為進行建模。而后根據(jù)該方法基于圖的特點,設計創(chuàng)新了四個簡單一階變異算子對模型執(zhí)行變異。采取這種方法,將以往基于代碼的白盒變異測試,變?yōu)榛谀Ｐ偷暮诤凶儺悳y試。利用變異測試思路的同時,結(jié)合了基于模型測試的特點,使變異算子集合得到了簡化,降低了執(zhí)行變異的開銷;且通過不同建模規(guī)范的選擇,模型的粒度和精度可控,也可從這一角度根據(jù)實際需求來對變異過程的開銷進行控制。依照上面方法的思路設計了一個測試工具,提供了以下功能:(1)根據(jù)模型生成測試路徑;(2)根據(jù)指定的各類算子比例生成變異體;(3)執(zhí)行測試用例;(4)根據(jù)指標給出計算結(jié)果。然后使用該變異工具對一個經(jīng)典的音樂播放器案例進行了基于模型的測試,實驗結(jié)果證明本文所設計的測試工具有一定的可行性。
【學位授予單位】：北京郵電大學
【學位級別】：碩士
【學位授予年份】：2018
【分類號】：TP311.53
【圖文】：

首先理解被測系統(tǒng)并選擇合適的模型來進行建模。重點在于將系統(tǒng)特征、系逡逑統(tǒng)業(yè)務與測試目的相結(jié)合，選取能夠表達需求特征的模型建模。例如電話交換系逡逑統(tǒng)常使用狀態(tài)模型進行建模，而圖２－１所示的兒童迷宮游戲，本身即是圖的形式，逡逑故而選擇有向圖對其建模則最為合適。模型選擇和軟件系統(tǒng)的工作特點也有密切逡逑聯(lián)系，如測試一個長期運行的系統(tǒng)軟件則可以選擇狀態(tài)機模型。而當相對軟件進逡逑行失效統(tǒng)計分析時，則可采用馬爾可夫鏈。逡逑圖２－１兒童迷[蝸峰義掀浯尉褪搶炊員徊庀低辰薪！ｅ義顯詿聳褂靡桓黽虻サ睦永唇步庹攵愿行巳さ牡愣員徊庀低辰薪５墓義銑獺Ｈ繽跡玻菜荊祝椋睿洌錚鰨笙低持兇源募鞘鹵盡ｅ義希疲蓿潁觶椋幔蓿哄危齲澹歟皰義賢跡玻插澹祝椋睿洌錚鰨蠹鞘鹵懼義希保板義

本文編號：2799568