面向對象軟件測試中類測試的研究與應用.pdf

1、隨著計算機技術的不斷發(fā)展，軟件的規(guī)模和復雜度都有了很大的提高。軟件失效已成為系統(tǒng)癱瘓的主要原因。因此，提高軟件質量及可靠性已成為當前軟件工程領域的重要任務。 軟件測試是軟件工程中的一個階段，是保證軟件質量的一個重要手段。面向對象軟件測試技術的研究是面向對象開發(fā)方法不可缺少的環(huán)節(jié)，但目前的研究狀況與面向對象的分析、設計方法以及程序設計語言的研究相比稍顯薄弱。 本文首先介紹了傳統(tǒng)的結構化軟件測試的方法，以求從總體上認識軟件測

2、試。然后重點介紹了面向對象軟件測試的技術，接下來著重介紹了基于狀態(tài)的類測試技術的特點以及其局限性；然后為了解決其局限性引入了一種本人稱為ClassPower的測試模型。ClassPower用來表達類的各個屬性和方法之間的關系，它能夠檢查在某個狀態(tài)下所有的邊的狀態(tài)，看看那些不應該被調用的邊是否有被調用的可能性。如果有被調用的可能性，就說明方法的實現上有漏洞。ClassPower測試模型主要以類狀態(tài)測試為依據，輔以方法序列規(guī)范和狀態(tài)轉移矩陣