面向對象的類狀態(tài)測試方法研究.pdf

1、隨著軟件應用領域的不斷發(fā)展，軟件測試作為一種保證軟件質量的有效方法已經得到了廣泛的重視。而面向對象技術的迅速發(fā)展，對軟件測試技術又提出了新的要求，并使得研究面向對象軟件測試技術成為當務之急。因此，本文從面向對象技術的特點出發(fā)，分析了面向對象軟件測試面臨的新問題，并結合UML技術，重點介紹了面向對象中類的狀態(tài)的測試方法。 在對類的狀態(tài)進行測試的過程中，一般采用的是先將類的并發(fā)層次狀態(tài)機轉換為擴展有限狀態(tài)機(EFSM)，再生成測試序

2、列的技術。但是，如果一個類包含的狀態(tài)較多，特別是并發(fā)的狀態(tài)較多時，在將并發(fā)層次狀態(tài)機轉換為EFSM時可能要考慮太多的全局狀態(tài)，從而會出現(xiàn)狀態(tài)爆炸的現(xiàn)象，所以本文提出了無意義Configuration的定理，即在一個Configuration中可能同時包含不能同時存在的兩個狀態(tài)s1和s2，對于這樣的Configuration，在生成EFSM之前，就可以將此Configuration排除。本文給出了無意義Configuration的定理和其

3、詳細的證明過程，對于有些類，如果在類的并發(fā)狀態(tài)中，存在著狀態(tài)之間的轉移條件相同或者轉移條件中規(guī)定當狀態(tài)發(fā)生轉移時不能出現(xiàn)某些狀態(tài)，通過應用無意義Configuration的定理，可以大大減少轉換過程中全局狀態(tài)的數(shù)量，從而減少了生成EFSM時所產生的狀態(tài)爆炸的程度，提高了轉換的效率。 本文將此方法應用于溫度控制系統(tǒng)的具體實例中，研究了該測試方法的具體實施過程，在將并發(fā)層次狀態(tài)機轉換為EFSM時會發(fā)現(xiàn)存在著無意義的Configura