面向?qū)ο筌浖y試的研究與應(yīng)用.pdf

1、隨著計算機(jī)技術(shù)的不斷發(fā)展,軟件的規(guī)模和復(fù)雜度都有了很大的提高.軟件失效已成為系統(tǒng)癱瘓的主要原因.因此,提高軟件質(zhì)量及可靠性已成為當(dāng)前軟件工程領(lǐng)域的重要任務(wù).軟件測試是軟件工程中的一個階段,是保證軟件質(zhì)量的一個重要手段.面向?qū)ο筌浖y試技術(shù)的研究是面向?qū)ο箝_發(fā)方法不可缺少的環(huán)節(jié),但目前的研究狀況與面向?qū)ο蟮姆治?、設(shè)計方法以及程序設(shè)計語言的研究相比稍顯薄弱.該文首先介紹了傳統(tǒng)的結(jié)構(gòu)化軟件測試的方法,以求從總體上認(rèn)識軟件測試.然后重點介紹了面

2、向?qū)ο筌浖y試的技術(shù),在這其中,首先講述了面向?qū)ο筌浖_發(fā)技術(shù)及其優(yōu)點;接著討論了面向?qū)ο筌浖y試的幾種方法,其中包括基于方法序列規(guī)范的測試、基于狀態(tài)的測試、基于類流圖的測試和基于UML的測試;然后講述了面向?qū)ο筌浖y試的層次劃分,這里把面向?qū)ο筌浖y試劃分為四個層次:方法測試、類測試、類簇測試、系統(tǒng)測試;最后講述了測試用例的重用及測試計劃.在第三章中,該文首先著重介紹了基于狀態(tài)的類測試技術(shù)的特點以及其局限性;然后為了解決其局限性引入了

3、一種作者稱為"ClassPower"的測試模型."ClassPower"用來表達(dá)類的各個屬性和方法之間的關(guān)系,它能夠檢查在某個狀態(tài)下所有的邊的狀態(tài),看看那些不應(yīng)該被調(diào)用的邊是否有被調(diào)用的可能性.如果有被調(diào)用的可能性,就說明方法的實現(xiàn)上有漏洞."ClassPower"測試模型主要以類狀態(tài)測試為依據(jù),輔以方法序列規(guī)范和狀態(tài)轉(zhuǎn)移矩陣,最終達(dá)到測試上述目的的結(jié)果.最后作者將該文提出的測試方法,應(yīng)用到一個實際的工程項目當(dāng)中,即應(yīng)用到工作流引擎項目