面向?qū)ο筌浖y(cè)試中類測(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ū)ο箝_發(fā)方法不可缺少的環(huán)節(jié)，但目前的研究狀況與面向?qū)ο蟮姆治?、設(shè)計(jì)方法以及程序設(shè)計(jì)語言的研究相比稍顯薄弱。 本文首先介紹了傳統(tǒng)的結(jié)構(gòu)化軟件測(cè)試的方法，以求從總體上認(rèn)識(shí)軟件測(cè)

2、試。然后重點(diǎn)介紹了面向?qū)ο筌浖y(cè)試的技術(shù)，接下來著重介紹了基于狀態(tài)的類測(cè)試技術(shù)的特點(diǎn)以及其局限性；然后為了解決其局限性引入了一種本人稱為ClassPower的測(cè)試模型。ClassPower用來表達(dá)類的各個(gè)屬性和方法之間的關(guān)系，它能夠檢查在某個(gè)狀態(tài)下所有的邊的狀態(tài)，看看那些不應(yīng)該被調(diào)用的邊是否有被調(diào)用的可能性。如果有被調(diào)用的可能性，就說明方法的實(shí)現(xiàn)上有漏洞。ClassPower測(cè)試模型主要以類狀態(tài)測(cè)試為依據(jù)，輔以方法序列規(guī)范和狀態(tài)轉(zhuǎn)移矩陣