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

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

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

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