1、隨著計算機技術(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ù)，接下來著重介紹了基于狀態(tài)的類測試技術(shù)的特點以及其局限性；然后為了解決其局限性引入了一種本人稱為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)移矩陣