面向?qū)ο蟮念悹顟B(tài)測試方法研究.pdf

1、隨著軟件應(yīng)用領(lǐng)域的不斷發(fā)展，軟件測試作為一種保證軟件質(zhì)量的有效方法已經(jīng)得到了廣泛的重視。而面向?qū)ο蠹夹g(shù)的迅速發(fā)展，對軟件測試技術(shù)又提出了新的要求，并使得研究面向?qū)ο筌浖y試技術(shù)成為當(dāng)務(wù)之急。因此，本文從面向?qū)ο蠹夹g(shù)的特點(diǎn)出發(fā)，分析了面向?qū)ο筌浖y試面臨的新問題，并結(jié)合UML技術(shù)，重點(diǎn)介紹了面向?qū)ο笾蓄惖臓顟B(tài)的測試方法。 在對類的狀態(tài)進(jìn)行測試的過程中，一般采用的是先將類的并發(fā)層次狀態(tài)機(jī)轉(zhuǎn)換為擴(kuò)展有限狀態(tài)機(jī)(EFSM)，再生成測試序

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

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