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

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

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

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