專利名稱：：基于有限狀態(tài)機(jī)的網(wǎng)絡(luò)通信協(xié)議測試序列生成方法及裝置的制作方法
技術(shù)領(lǐng)域：
：本發(fā)明涉及計(jì)算機(jī)
技術(shù)領(lǐng)域：
，尤其涉及一種基于有限狀態(tài)機(jī)的網(wǎng)絡(luò)通信協(xié)議測試序列生成方法及裝置。
背景技術(shù)：
：網(wǎng)絡(luò)通信協(xié)議是網(wǎng)絡(luò)設(shè)備之間在進(jìn)行信息傳遞，以及信息管理時需要遵守的規(guī)則，常見的網(wǎng)絡(luò)通信協(xié)議包括TCP/IP協(xié)議、IPX/SPX協(xié)議、NetBEUI協(xié)議等。網(wǎng)絡(luò)通信協(xié)議可以通過文本來描述，也可以通過基于圖表的有限狀態(tài)機(jī)(FSM)來表示。在進(jìn)行網(wǎng)絡(luò)通信的過程中，網(wǎng)絡(luò)設(shè)備之間需要遵循網(wǎng)絡(luò)通信協(xié)議才能進(jìn)行數(shù)據(jù)的交互。但在實(shí)際過程中，并不確定網(wǎng)絡(luò)設(shè)備之間是能夠正確的遵循該網(wǎng)絡(luò)通信協(xié)議，因此，需要對網(wǎng)絡(luò)設(shè)備進(jìn)行一致性測試。并且可以采用基于有限狀態(tài)機(jī)的一致性測試，即通過有限狀態(tài)機(jī)生成測試序列，根據(jù)該測試序列對網(wǎng)絡(luò)設(shè)備進(jìn)行一致性測試。有限狀態(tài)機(jī)包括一組狀態(tài)，其中該一組狀態(tài)中包括一個初始狀態(tài)，每個狀態(tài)在輸入的激勵信號下，實(shí)現(xiàn)該狀態(tài)的動作并產(chǎn)生輸出信號，例如將某變量設(shè)置為特定值或調(diào)用某函數(shù)進(jìn)行特定輸出，該輸出信號即為下一狀態(tài)的輸入信號。通常只有滿足每個狀態(tài)的特定事件發(fā)生后才會進(jìn)行狀態(tài)的跳轉(zhuǎn)。下面以802.1x為例說明網(wǎng)絡(luò)通信協(xié)議中的有限狀態(tài)機(jī)，以及基于有限狀態(tài)機(jī)的一致性測試的主要內(nèi)容。圖l為802.1x協(xié)議中客戶端supplciant狀態(tài)機(jī)，在該supplciant狀態(tài)機(jī)中包括7個有限的狀態(tài)，其中每個方格表示一個狀態(tài)，方格的上半部為狀態(tài)名稱，下半部為跳轉(zhuǎn)該狀態(tài)后所做的操作。該7個狀態(tài)分別為靜默(HELD)狀態(tài)、未連接(DISCONNETTED)狀態(tài)、連接(CONNECTING)狀態(tài)、認(rèn)證(AUTHENTICANTED)狀態(tài)、隊(duì)列等待(ACQUIRED)狀態(tài)、下線(LOGOFF)狀態(tài)、認(rèn)證(AUTHENTICATING)狀態(tài)。其中DISCONNECTED狀態(tài)為初始狀態(tài)。在該圖1中指向每個狀態(tài)的箭頭上方標(biāo)注的文字為跳轉(zhuǎn)到該狀態(tài)的條件，從每個狀態(tài)引出的箭頭上標(biāo)注的文字為跳轉(zhuǎn)到下一狀態(tài)的條件。圖2A為HELD狀態(tài)的示意圖，在該圖2A跳轉(zhuǎn)到HELD狀態(tài)的條件，以下稱為輸入跳轉(zhuǎn)條件，包括收到eapfail報文并且非初始或端口不可用狀態(tài)，不是用戶主動下線或^皮動下線(eapfail&&(!intialze||!por-tenable)&&!userloggoff&&!logoffsent)。一個指向該狀態(tài)的箭頭就代表一個輸入跳轉(zhuǎn)條件。跳轉(zhuǎn)到該HELD狀態(tài)后所做的操作包括將變量heldWhile、eapfail、eapsuccess、suppstatus分別設(shè)置為等號右邊的值，即使heldWhile=heldPeriod，suppstatus=unauthorized,eapfail=false,eapsu--ccess=false。由該狀態(tài)跳轉(zhuǎn)到下一狀態(tài)的條件，以下稱為輸出條件，包括進(jìn)入HELD狀態(tài)超時(heldwhile:=0)和reqid,當(dāng)heldwhile==0時，跳轉(zhuǎn)到CONNECTING狀態(tài)，當(dāng)收到reqid時，跳轉(zhuǎn)到ACQUIRED狀態(tài)。兩個由該狀態(tài)指出的箭頭就代表有兩個輸出條件。在基于有限狀態(tài)機(jī)對網(wǎng)絡(luò)設(shè)備進(jìn)行一致性測試時，需要對網(wǎng)絡(luò)通信系統(tǒng)進(jìn)行測試，確定該網(wǎng)絡(luò)通信系統(tǒng)中的網(wǎng)絡(luò)設(shè)備之間的通信過程，是否與狀態(tài)機(jī)定義的協(xié)議一致，例如有限狀態(tài)機(jī)A為網(wǎng)絡(luò)通信系統(tǒng)B需要遵循的網(wǎng)絡(luò)通信協(xié)議，或者說根據(jù)該進(jìn)行測試的網(wǎng)絡(luò)通信系統(tǒng)B能夠自動導(dǎo)出有限狀態(tài)機(jī)A,對于A與B之間的一致性測試，其主要內(nèi)容包括1、A中的所有狀態(tài)，在B中是否能夠全部實(shí)現(xiàn)；2、對于A中每個狀態(tài)的輸入跳轉(zhuǎn)條件，在B中該相應(yīng)狀態(tài)的跳轉(zhuǎn)是否符合A的要求；3、對于A中每個狀態(tài)的輸入跳轉(zhuǎn)條件，在B中該相應(yīng)的狀態(tài)跳轉(zhuǎn)后所產(chǎn)生的輸出是否符合A的要求。目前，基于狀態(tài)機(jī)的網(wǎng)絡(luò)通信協(xié)議一致性測試序列的生成方法暫時還沒7有，并且由于有限狀態(tài)機(jī)中各狀態(tài)之間的跳轉(zhuǎn)錯綜復(fù)雜，如單單CONNECTING狀態(tài)就有5個輸入跳轉(zhuǎn)條件和3個輸出條件，因此如何簡化有限狀態(tài)機(jī)中各狀態(tài)之間的跳轉(zhuǎn)關(guān)系，并針對第2條的測試生成有效的測試序列就顯得尤為困難。
發(fā)明內(nèi)容有鑒于此，本發(fā)明實(shí)施例提供一種基于有限狀態(tài)機(jī)的網(wǎng)絡(luò)通信協(xié)議測試序列生成方法及裝置，用以提供一種有效的簡化有限狀態(tài)機(jī)中各狀態(tài)之間跳轉(zhuǎn)關(guān)系，并提供一種一致性測試的測試序列步驟化的生成方法。本發(fā)明實(shí)施例提供的一種基于有限狀態(tài)機(jī)的網(wǎng)絡(luò)通信協(xié)議測試序列生成方法，包4#:根據(jù)有限狀態(tài)機(jī)中的初始狀態(tài)，及各狀態(tài)之間的連接關(guān)系，確定有限狀態(tài)機(jī)中初始狀態(tài)與每個第一狀態(tài)之間對應(yīng)的每條連接路徑，其中每條連接路徑中包括至少兩個狀態(tài)；根據(jù)所述每條連接路徑中初始狀態(tài)及第一狀態(tài)之間包括的狀態(tài)的數(shù)量，選擇包括狀態(tài)數(shù)量最多的連接路徑；確定位于所述選擇的連接路徑之外的每個第二狀態(tài)，根據(jù)該每個第二狀態(tài)與該選擇的連接路徑中每個狀態(tài)的連接關(guān)系，將該每個第二狀態(tài)連接到所述選擇的連接路徑上；根據(jù)所述選擇的連接路徑上的每個狀態(tài)的輸入跳轉(zhuǎn)條件，及所述選擇的連接路徑中每個狀態(tài)之間的連接關(guān)系，生成對應(yīng)所述選擇的連接路徑的測試序列。本發(fā)明實(shí)施例提供的一種基于有限狀態(tài)機(jī)的網(wǎng)絡(luò)通信協(xié)議測試序列生成裝置，包括連接路徑確定模塊，用于根據(jù)有限狀態(tài)機(jī)中的初始狀態(tài)，及各狀態(tài)之間的連接關(guān)系，確定有限狀態(tài)機(jī)中初始狀態(tài)與每個第一狀態(tài)之間對應(yīng)的每條連接路徑，其中每條連接路徑中包括至少兩個狀態(tài)；選擇模塊，用于才艮據(jù)所述每條連接路徑中初始狀態(tài)及第一狀態(tài)之間包括的狀態(tài)的數(shù)量，選擇包括狀態(tài)數(shù)量最多的連接路徑；連接模塊，用于確定位于所述選擇的連接路徑之外的每個第二狀態(tài)，根據(jù)該每個第二狀態(tài)與該選擇的連接路徑中每個狀態(tài)的連接關(guān)系，將該每個第二狀態(tài)連接到所述選擇的連接路徑上；生成模塊，用于根據(jù)所述選擇的連接路徑上的每個狀態(tài)的輸入跳轉(zhuǎn)條件，及所述選擇的連接路徑中每個狀態(tài)之間的連接關(guān)系，生成對應(yīng)所述選擇的連接路徑的測試序列。本發(fā)明實(shí)施例提供了一種基于有限狀態(tài)機(jī)的網(wǎng)絡(luò)通信協(xié)議測試序列生成方法及裝置，該方法中確定該有限狀態(tài)機(jī)中初始狀態(tài)與每個第一狀態(tài)之間的連接路徑，選擇包含狀態(tài)最多的連接路徑，并將該選擇的連接路徑之外的第二狀態(tài)連接到該連接路徑上，從而實(shí)現(xiàn)了對有限狀態(tài)機(jī)中各狀態(tài)的跳轉(zhuǎn)關(guān)系的筒化，根據(jù)該選擇的連接路徑上每個狀態(tài)的輸入跳轉(zhuǎn)條件，生成對應(yīng)該選擇的連接路徑的測試序列，本發(fā)明實(shí)施例將網(wǎng)絡(luò)通信協(xié)議的一致性測試序列的生成步驟化，根據(jù)上述提供的各個步驟，生成測試序列，從而提高了網(wǎng)絡(luò)通信協(xié)議一致性測試的測試效率。圖1為802.1x協(xié)議中客戶端supplciant狀態(tài)機(jī)；圖2A為HELD狀態(tài)的示意圖2B為本發(fā)明實(shí)施例提供的基于有限狀態(tài)機(jī)的網(wǎng)絡(luò)通信協(xié)議測試序列的生成過程；圖3為本發(fā)明實(shí)施例提供的依據(jù)圖1對各狀態(tài)之間的連接關(guān)系的圖表表示方式；圖4為本發(fā)明實(shí)施例提供的將第二狀態(tài)連接到第四連接路徑上的第四連接路徑結(jié)構(gòu)示意9圖5為本發(fā)明實(shí)施例提供的第二狀態(tài)與連接路徑的連接結(jié)構(gòu)示意圖；圖6為本發(fā)明實(shí)施例提供的基于有限狀態(tài)機(jī)的網(wǎng)絡(luò)通信協(xié)議測試序列生成的裝置結(jié)構(gòu)示意圖。具體實(shí)施例方式在基于有限狀態(tài)機(jī)的網(wǎng)絡(luò)通信協(xié)議的測試過程中，當(dāng)有限狀態(tài)機(jī)中存在狀態(tài)較多，并且狀態(tài)之間的跳轉(zhuǎn)關(guān)系比較復(fù)雜時，有限狀態(tài)機(jī)各狀態(tài)之間的跳轉(zhuǎn)關(guān)系的簡化變得很復(fù)雜，當(dāng)該有限狀態(tài)機(jī)中所有的狀態(tài)的輸入跳轉(zhuǎn)條件都要求包含在測試序列中時，很可能因?yàn)檫B接關(guān)系的錯綜復(fù)雜而將部分輸入跳轉(zhuǎn)條件疏漏掉，從而使生成的測試序列不能達(dá)到對網(wǎng)絡(luò)通信系統(tǒng)的有效測試。在本發(fā)明實(shí)施例中通過簡化有限狀態(tài)機(jī)中各狀態(tài)之間的跳轉(zhuǎn)關(guān)系，基于筒化后的跳轉(zhuǎn)關(guān)系生成測試序列，vt人而^f吏測試序列的生成步驟化，并且該測試序列的生成方法筒單高效，并達(dá)到對網(wǎng)絡(luò)通信系統(tǒng)的一致性測試。下面結(jié)合說明書附圖，對本發(fā)明實(shí)施例進(jìn)行詳細(xì)說明。圖2B為本發(fā)明實(shí)施例中基于有限狀態(tài)機(jī)的網(wǎng)絡(luò)通信協(xié)議測試序列的生成過程，該過程包括以下步驟S201:根據(jù)有限狀態(tài)機(jī)中的初始狀態(tài)，及各個狀態(tài)之間連接關(guān)系，確定有限狀態(tài)機(jī)中初始狀態(tài)與每個第一狀態(tài)之間對應(yīng)的每條連接路徑，其中，每條連接路徑中包括至少兩個狀態(tài)。在本發(fā)明實(shí)施中，首先需要根據(jù)各個狀態(tài)之間的連接關(guān)系，及各個狀態(tài)的輸入跳轉(zhuǎn)條件和輸出條件，確定路徑上的每個狀態(tài)是否為連接路徑上的第一狀態(tài)，當(dāng)確定了第一狀態(tài)后，將該初始狀態(tài)到該第一狀態(tài)的路徑作為連接路徑。S202:根據(jù)每條連接路徑中初始狀態(tài)和第一狀態(tài)之間包含的狀態(tài)的數(shù)量，選擇包含狀態(tài)數(shù)量最多的連接路徑。在本發(fā)明實(shí)施例中，當(dāng)確定了初始狀態(tài)與第一狀態(tài)之間的連接路徑后，選擇最長的連接路徑，從而便于后續(xù)過程中測試序列的生成。當(dāng)至少兩條連接路徑中包含的狀態(tài)數(shù)量相同，并且數(shù)量最多時，可以在該至少兩條連接路徑中任意選擇一條連接路徑，從而使后續(xù)過程可以根據(jù)該選擇的連接路徑生成測試序列。S203:確定位于選擇的連接路徑之外的每個第二狀態(tài)，根據(jù)該每個第二狀態(tài)與該選擇的連接路徑上每個狀態(tài)的連接關(guān)系，將該每個第二狀態(tài)連接到該選擇的連接路徑上。由于確定了初始路徑到第一狀態(tài)的最長連接路徑，但該有限狀態(tài)機(jī)中有部分狀態(tài)并不包含在該連接路徑內(nèi)，將該部分狀態(tài)作為第二狀態(tài)，根據(jù)該有限狀態(tài)機(jī)中每個第二狀態(tài)與該連接路徑中每個狀態(tài)的連接關(guān)系，將該每個第二狀態(tài)連接到該連接路徑中，只要根據(jù)該第二狀態(tài)與連接路徑上包含的狀態(tài)的連接關(guān)系，在該連接路徑中任意選擇一個與該第二狀態(tài)連接的狀態(tài)，將該第二狀態(tài)連接到該選擇的狀態(tài)上即可，從而實(shí)現(xiàn)將該每個第二狀態(tài)連接到對應(yīng)的連接路徑上。上述過程中由于按照有限狀態(tài)機(jī)中各個狀態(tài)之間的連接關(guān)系，按照第一狀態(tài)的確定條件，確定連接路中的第一狀態(tài)，從而使各狀態(tài)之間的跳轉(zhuǎn)關(guān)系的確定步驟化，并且由于連接路徑中確定的為路徑中個每個狀態(tài)在某一種跳轉(zhuǎn)關(guān)系的條件下滿足的跳轉(zhuǎn)條件后實(shí)現(xiàn)的跳轉(zhuǎn)，不同的連接路徑對應(yīng)的該路徑中各狀態(tài)的跳轉(zhuǎn)關(guān)系不同，從而實(shí)現(xiàn)了對錯綜復(fù)雜的狀態(tài)之間的跳轉(zhuǎn)關(guān)系的分化，因此實(shí)現(xiàn)了對有限狀態(tài)機(jī)中各狀態(tài)之間跳轉(zhuǎn)關(guān)系的簡化。S204:根據(jù)該選擇的連接路徑上的每個狀態(tài)的輸入跳轉(zhuǎn)條件，及該選擇的連接路徑中每個狀態(tài)之間的連接關(guān)系，生成對應(yīng)該選擇的連接路徑的測試序列。在生成對應(yīng)該連接路徑的測試序列時，根據(jù)該選擇的連接路徑上初始狀態(tài)與第一狀態(tài)之間的狀態(tài)的輸入跳轉(zhuǎn)條件，確定第一組測試序列，并且根據(jù)連接在該選擇的連接路徑上的每個第二狀態(tài)的輸入跳轉(zhuǎn)條件，確定第二組測試序列。則該第一組測試序列和第二組測試序列，即為基于有限狀態(tài)機(jī)的生成的網(wǎng)絡(luò)通信協(xié)議的測試序列?；诤喕蟮挠邢逘顟B(tài)機(jī)中各狀態(tài)之間的跳轉(zhuǎn)關(guān)系，根據(jù)連接路徑中各狀態(tài)的輸入跳轉(zhuǎn)條件生成測試序列，從而使測試序列的生成步驟化。圖1為802.1x協(xié)議中客戶端supplciant狀態(tài)機(jī)，下面基于該有限狀態(tài)機(jī)中每個狀態(tài)之間的連接關(guān)系，詳細(xì)說明在本發(fā)明實(shí)施例中，確定初始狀態(tài)與第一狀態(tài)之間的連接路徑的過程。由于每一個狀態(tài)的跳轉(zhuǎn)條件都很復(fù)雜，在本發(fā)明實(shí)施例中，針對每個狀態(tài)的每個跳轉(zhuǎn)條件，確定該跳轉(zhuǎn)條件歸屬的路徑，從而實(shí)現(xiàn)對有限狀態(tài)機(jī)中各狀態(tài)跳轉(zhuǎn)關(guān)系的簡化。在本發(fā)明實(shí)施例中每個狀態(tài)之間的連接關(guān)系復(fù)雜，狀態(tài)與狀態(tài)之間連接構(gòu)成了對應(yīng)兩個狀態(tài)之間的路徑，但每條路徑歸屬于哪條連接路徑，需要依據(jù)下述方法確定。在確定連接路徑的過程中，判斷路徑上的某一個狀態(tài)是否為第一狀態(tài)時，需要判斷該狀態(tài)的某一輸出條件是否為其自身狀態(tài)的一個輸入跳轉(zhuǎn)條件，當(dāng)判斷結(jié)果為是時，則該狀態(tài)為對應(yīng)該輸出條件的連接路徑上的第一狀態(tài)，否則，該狀態(tài)不是第一狀態(tài)?；蛘撸袛嗄骋粋€狀態(tài)是否為第一狀態(tài)的過程還包括判斷某一個狀態(tài)的輸出條件，為與其連接的下一個狀態(tài)的輸入跳轉(zhuǎn)條件時，判斷該下一個狀態(tài)是否在對應(yīng)該輸出條件的路徑上，進(jìn)行過是否為第一狀態(tài)的判斷，當(dāng)判斷結(jié)果為是時，將該某一狀態(tài)作為連接路徑上的第一狀態(tài)，否則，該狀態(tài)不是第一狀態(tài)。并且，在某一狀態(tài)是否為第一狀態(tài)進(jìn)行判斷時，也可以判斷該狀態(tài)是否有輸出條件，當(dāng)該狀態(tài)沒有輸出條件時，判斷該狀態(tài)為連接路徑上的第一狀態(tài)，否則，該狀態(tài)不是第一狀態(tài)。在該圖1中初始狀態(tài)為DISCONNECTED狀態(tài)，該初始狀態(tài)有一個輸出條件，該輸出條件為CONNECTING狀態(tài)的輸入跳轉(zhuǎn)條件，因此可以稱DISCONNECTED狀態(tài)與CONNECTING狀態(tài)連接，該CONNECTING狀態(tài)有三個輸出條件，該三個輸出條件中第一輸出條件為其自身狀態(tài)的輸入跳轉(zhuǎn)條件，第二輸出條件為ACQUIRED狀態(tài)的輸入跳轉(zhuǎn)條件，第三輸出條件為AUTHENTICATED狀態(tài)的輸入跳轉(zhuǎn)條件。12由于該CONNECTING狀態(tài)的第一輸出條件為其自身狀態(tài)的一個輸入跳轉(zhuǎn)條件，因此，該CONNECTING狀態(tài)滿足連接路徑上第一狀態(tài)的條件，確定該CONNECTING狀態(tài)為對應(yīng)其第一輸出條件的連接路徑上為第一狀態(tài)，則根據(jù)初始狀態(tài)和第一狀態(tài)確定的連接路徑為DISCONNECTED狀態(tài)-CONNECTING狀態(tài)。對于該CONNECTING狀態(tài)的第二輸出條件，由于該第二輸出條件為ACQUIRED狀態(tài)的輸入跳轉(zhuǎn)條件，在對應(yīng)該第二輸出條件的路徑上，該CONNECTING狀態(tài)不滿足第一狀態(tài)的條件，沿該第二輸出條件的路徑繼續(xù)向下查找，ACQUIRED狀態(tài)有三個輸出條件，該三個輸出條件中第一輸出條件為其自身狀態(tài)的輸入跳轉(zhuǎn)條件，第二輸出條件為CONNECTING狀態(tài)的輸入跳轉(zhuǎn)條件，第三輸出條件為AUTHENTICATING狀態(tài)的輸入跳轉(zhuǎn)條件。由于該ACQUIRED狀態(tài)的第一輸出條件為其自身狀態(tài)的一個輸入跳轉(zhuǎn)條件，因此，該ACQUIRED狀態(tài)滿足連接路徑上第一狀態(tài)的條件，確定該ACQUIRED狀態(tài)為對應(yīng)其第一輸出條件的連接路徑上的第一狀態(tài)，則根據(jù)初始狀態(tài)和第一狀態(tài)確定的連接路徑為DISCONNECTED狀態(tài)-CONNECTING狀態(tài)-ACQUIRED狀態(tài)。該ACQUIRED狀態(tài)的第二輸出條件為CONNECTING狀態(tài)的輸入跳轉(zhuǎn)條件，該CONNECTING狀態(tài)在對應(yīng)該第二輸出條件的路徑上已經(jīng)進(jìn)行過判斷，因此，確定該ACQUIRED狀態(tài)為對應(yīng)該第二輸出條件的連接路徑上的第一狀態(tài)，根據(jù)初始狀態(tài)和第一狀態(tài)確定的連接路徑同樣為DISCONNECTED狀態(tài)-CONNECTING狀態(tài)-ACQUIRED狀態(tài)。該ACQUIRED狀態(tài)的第三輸出條件為AUTHENTICATING狀態(tài)的輸入跳轉(zhuǎn)條件，在對應(yīng)該第三輸出條件的路徑上該ACQUIRED狀態(tài)不滿足第一狀態(tài)的條件，沿該路徑進(jìn)行繼續(xù)查找，該AUTHENTICATING狀態(tài)有三個輸出條件，其中第一輸出條件為其自身狀態(tài)的輸入跳轉(zhuǎn)條件，第二輸出條件為ACQUIRED狀態(tài)的輸入跳轉(zhuǎn)條件，第三輸出條件為CONNECTING狀態(tài)的輸入跳轉(zhuǎn)條件。對于AUTHENTICATING狀態(tài)的第一輸出條件，由于該第一輸出條件為其自身狀態(tài)的輸入跳轉(zhuǎn)條件，因此該AUTHENTICATING狀態(tài)為對應(yīng)該第一輸出條件的連接路徑上的第一狀態(tài)，確定的初始狀態(tài)和第一狀態(tài)之間的連接路徑包括DISCONNECTED狀態(tài)-CONNECTING狀態(tài)-ACQUIRED狀態(tài)-AUTHENTICATING狀態(tài)。對于AUTHENTICATING狀態(tài)的第二輸出條件及第三輸出條件，為ACQUIRED狀態(tài)及CONNECTING狀態(tài)的輸入跳轉(zhuǎn)條件，該兩個狀態(tài)已經(jīng)在該路徑中進(jìn)行過是否為第一狀態(tài)的判斷，因此根據(jù)該第二、及第三輸出條件分別確定的初始狀態(tài)和第一狀態(tài)之間的連接路徑都為DISCONNECTED狀態(tài)-CONNECTING狀態(tài)-ACQUIRED狀態(tài)-AUTHENTICATING狀態(tài)。依據(jù)上述描述，相信本領(lǐng)域技術(shù)人員可以確定初始狀態(tài)和不同的第一狀態(tài)之間的連接路徑。圖3為依據(jù)圖1對各狀態(tài)之間的連接關(guān)系的圖表表示方式，可知，在本發(fā)明實(shí)施例中依據(jù)上述方法，確定的初始狀態(tài)和每個第一狀態(tài)之間對應(yīng)的每條連接路徑包括第一連接路徑DISCONNECTED狀態(tài)-CONNECTING狀態(tài)；第二連接路徑DISCONNECTED狀態(tài)-CONNECTING狀態(tài)-ACQUIRED狀態(tài)；第三連接路徑DISCONNECTED狀態(tài)-CONNECTING狀態(tài)-ACQUIRED狀態(tài)-AUTHENTICATING狀態(tài)；第四連接路徑DISCONNECTED狀態(tài)-CONNECTING狀態(tài)-AUTHENTICATED狀態(tài)-ACQUIRED狀態(tài)；第五連接路徑DISCONNECTED狀態(tài)-CONNECTING狀態(tài)-AUTHENTICATED狀態(tài)-ACQUIRED狀態(tài)-AUTHENTICATING狀態(tài)。在確定的上述連接路徑中可以看到，有的連接路徑中包括的有限狀態(tài)機(jī)中的狀態(tài)比較多，有的連接路徑包括的有限狀態(tài)機(jī)中的狀態(tài)比較少，并且有些狀態(tài)并不包含在該連接路徑內(nèi)，根據(jù)連接路徑中包含的狀態(tài)的數(shù)量，選擇連接路徑中包含狀態(tài)數(shù)量最多的路徑，即選擇最長路徑。例如上述基于802.1x協(xié)議中客戶端supplciant狀態(tài)機(jī)中，確定的五條連接路徑中，第一連接路徑初始狀態(tài)與第一狀態(tài)之間包括兩個狀態(tài)，第二連接路徑初始狀態(tài)與第一狀態(tài)之間包括三個狀態(tài)，第三連接3各徑初始狀態(tài)與第一狀態(tài)之間包括三個狀態(tài)，第四連接路徑初始狀態(tài)與第一狀態(tài)之間包括四個狀態(tài)，第五連接路徑初始狀態(tài)與第一狀態(tài)之間包括五個狀態(tài)，因此可知第五連接路徑初始狀態(tài)與第一狀態(tài)之間包括的狀態(tài)數(shù)量最多。由于一致性測試過程中，需要對所有狀態(tài)的輸入跳轉(zhuǎn)條件進(jìn)行測試，因此生成的測試序列中需要包括所有狀態(tài)的信息。由于選擇了第五連接路徑，該連接路徑包括DISCONNECTED狀態(tài)-CONNECTING狀態(tài)-AUTHENTICATED狀態(tài)-ACQUIRED狀態(tài)-AUTHENTICATING狀態(tài)，在該連接i各徑中包括5個狀態(tài)，而LOGOFF狀態(tài)、HELD狀態(tài)不包含在該連接路徑內(nèi)，在本發(fā)明實(shí)施例中將該不包含在該連接路徑內(nèi)的狀態(tài)稱為第二狀態(tài)。該第二狀態(tài)不包含在該連接路徑內(nèi)，但與該連接路徑內(nèi)的一些狀態(tài)之間存在連接關(guān)系?？梢愿鶕?jù)該連接關(guān)系，將該第二狀態(tài)添加到該連接路徑內(nèi)。對應(yīng)該第五連接路徑的第二狀態(tài)包括LOGOFF狀態(tài)以及HELD狀態(tài)，該LOGOFF狀態(tài)與第五連接路徑中的DISCONNECTED狀態(tài)連接，則可以將該LOGOFF狀態(tài)在該路徑內(nèi)與該DISCONNECTED狀態(tài)相連。同樣，查找HELD狀態(tài)與該路徑內(nèi)的CONNECTING狀態(tài)以及ACQUIRED狀態(tài)連接，則在該兩個狀態(tài)中任意選擇一個狀態(tài)與HELD狀態(tài)連接。圖4為將第二狀態(tài)連接到該第五連接路徑上后的該第五連接路徑的結(jié)構(gòu)示意圖，該第五連接3各徑的連接順序?yàn)镈ISCONNECTED狀態(tài)-CONNECTING狀態(tài)-AUTHENTICATED狀態(tài)-ACQUIRED狀態(tài)-AUTHENTICATING狀態(tài)，對于LOGOFF狀態(tài)在圖4中其與DISCONNECTED狀態(tài)連接，HELD狀態(tài)與CONNECTING狀態(tài)連才妻。由于在對網(wǎng)絡(luò)通信系統(tǒng)進(jìn)行一致性測試時，需要針對有限狀態(tài)機(jī)中的所有符合要求的輸入跳轉(zhuǎn)條件，在網(wǎng)絡(luò)通信系統(tǒng)中對所有狀態(tài)的轉(zhuǎn)換輸出判斷其是否滿足有限狀態(tài)機(jī)的要求。因此在進(jìn)行測試序列的生成時，需要確定每個狀態(tài)的輸入跳轉(zhuǎn)條件。根據(jù)圖l可知，對于初始狀態(tài)DISCONNECTED狀態(tài)有兩個指向該狀態(tài)的箭頭，即有兩個輸入跳轉(zhuǎn)條件，該兩個輸入跳轉(zhuǎn)條件分別為Initializell!portenabled，另一個為經(jīng)LOGOFF狀態(tài)發(fā)生!userlogoff事件后跳轉(zhuǎn)進(jìn)入該DISCONNECTED狀態(tài)。表1為跳轉(zhuǎn)進(jìn)入DISCONNECTED狀態(tài)的條件。<table>tableseeoriginaldocumentpage16</column></row><table>在本發(fā)明實(shí)施中都以"狀態(tài)名<事件>形式，表示在當(dāng)前狀態(tài)下發(fā)生<>內(nèi)事件后的跳轉(zhuǎn)。如LOGOFF〈!userlogoff^表示在LOGOFF狀態(tài)下發(fā)生!userlogoff事件后的跳轉(zhuǎn)。基于上述描述，查找其他狀態(tài)的輸入跳轉(zhuǎn)條件，表2為該有限狀態(tài)機(jī)的每一狀態(tài)的輸入跳轉(zhuǎn)條件表<table>tableseeoriginaldocumentpage16</column></row><table><table>tableseeoriginaldocumentpage17</column></row><table>7.held7.1eapfail&&!(initialize||!portenabled)&&!userlogoff&&!1ogoffsent收到eapfail報文并且非初始或端口不可用狀態(tài)，不是用戶主動下線或被動下線表2由表2可知，每個狀態(tài)的輸入跳轉(zhuǎn)條件有一個或幾個，即存在一個或幾個跳轉(zhuǎn)到該狀態(tài)的可能，并且，當(dāng)其中一個狀態(tài)存在幾個輸入跳轉(zhuǎn)條件時，該幾個輸入跳轉(zhuǎn)條件也可以作為跳轉(zhuǎn)到下一狀態(tài)的輸入跳轉(zhuǎn)條件，因此跳轉(zhuǎn)到下一狀態(tài)的輸入跳轉(zhuǎn)條件個數(shù)可能大于指向該下一個狀態(tài)的箭頭的個數(shù)。但一般初始狀態(tài)的輸入跳轉(zhuǎn)條件的個數(shù)與指向該狀態(tài)的箭頭的個數(shù)相同。當(dāng)通過上述步驟查找，確定了初始狀態(tài)與第一狀態(tài)之間的連接路徑，選擇包含狀態(tài)最多的連接路徑，并將該包含狀態(tài)最多的連接路徑之外的第二狀態(tài)連接到了該連接路徑上后，即確定了各個狀態(tài)之間的連接關(guān)系，或跳轉(zhuǎn)關(guān)系后，在根據(jù)該連接路徑進(jìn)行測試序列的生成時，需要根據(jù)該連接路徑上每個狀態(tài)的每個跳轉(zhuǎn)條件，生成測試序列。首先確定連接路徑上每個狀態(tài)的輸入跳轉(zhuǎn)條件，該連接路徑上每個狀態(tài)的輸入跳轉(zhuǎn)條件，包括該初始狀態(tài)到該第一狀態(tài)之間的連接路徑上每個狀態(tài)的輸入跳轉(zhuǎn)條件，還包括連接在該連接路徑上的第二狀態(tài)的輸入跳轉(zhuǎn)條件，才艮據(jù)該每個狀態(tài)的輸入跳轉(zhuǎn)條件，生成對應(yīng)該^各徑的每個測試序列。其中，在具體生成測試序列的過程中，在連接路徑的該初始狀態(tài)和第一狀態(tài)之間的任意狀態(tài)中，根據(jù)該每個狀態(tài)的輸入跳轉(zhuǎn)條件，生成對應(yīng)的第一組測試序列，根據(jù)連接在該連接路徑上的第二狀態(tài)的輸入跳轉(zhuǎn)條件，生成對應(yīng)的第二組測試序列。在生成第一組測試序列的過程中，在連接路徑的初始狀態(tài)與第一狀態(tài)之間的任意狀態(tài)中，根據(jù)每個狀態(tài)的每個輸入跳轉(zhuǎn)條件，判斷該輸入跳轉(zhuǎn)條件是否為與其連接的狀態(tài)的輸出條件，該與其連接的狀態(tài)為該連接路徑中初始狀態(tài)與第一狀態(tài)之間的與該狀態(tài)連接的狀態(tài)，并且該狀態(tài)在該連接路徑中與初始狀態(tài)的位置臨近，當(dāng)判斷結(jié)果為是時，將跳轉(zhuǎn)到該與其連接的狀態(tài)的每條路徑，作為該狀態(tài)對應(yīng)該輸入跳轉(zhuǎn)條件，跳轉(zhuǎn)到該狀態(tài)的路徑，否則，將該狀態(tài)的該輸入跳轉(zhuǎn)條件，作為跳轉(zhuǎn)到該狀態(tài)的路徑，根據(jù)跳轉(zhuǎn)到該第一狀態(tài)的路徑，生成第一組測試序列。在本發(fā)明實(shí)施例中由于在連接路徑中除初始狀態(tài)和第一狀態(tài)外，其他的狀態(tài)都存在兩個與其連接的狀態(tài)，在本發(fā)明實(shí)施例中在判斷每個狀態(tài)的每個輸入跳轉(zhuǎn)條件，是否為與其連接的狀態(tài)輸出條件時，該與其連接的狀態(tài)為連接路徑中與該狀態(tài)相連的，且在連接路徑中位置較臨近初始狀態(tài)。由于本發(fā)明實(shí)施例中基于圖1的有限狀態(tài)機(jī)進(jìn)行測試序列生成方法的說明，當(dāng)該有限狀態(tài)機(jī)中狀態(tài)比較多時，該每個第二狀態(tài)中包括多個狀態(tài)，并且該多個狀態(tài)連接在一起形成最初狀態(tài)和最終狀態(tài)之間的每個第二狀態(tài)，如圖5所示為第二狀態(tài)與連接路徑的連接結(jié)構(gòu)示意圖，在該連接路徑中包括初始狀態(tài)到第一狀態(tài)之間的多個狀態(tài)，并且，初始狀態(tài)與第二狀態(tài)連接，其中，該第二狀態(tài)包括最初狀態(tài)和最終之間的狀態(tài)。在根據(jù)上述描述生成第二測試序列的過程中，需要根據(jù)連接到該連接路徑上的每個第二狀態(tài)，判斷該第二狀態(tài)中的狀態(tài)的輸入跳轉(zhuǎn)條件，是否為與其連接的狀態(tài)的輸出條件，其中該與其連接的狀態(tài)包括該第二狀態(tài)中與該狀態(tài)連接的、且與初始狀態(tài)位置臨近的狀態(tài)，當(dāng)判斷結(jié)果為是時，根據(jù)跳轉(zhuǎn)到與其連接的狀態(tài)每條路徑，確定該狀態(tài)中對應(yīng)該輸入跳轉(zhuǎn)條件的跳轉(zhuǎn)到該狀態(tài)的路徑，否則，根據(jù)該狀態(tài)的該輸入跳轉(zhuǎn)條件，確定跳轉(zhuǎn)到該狀態(tài)的路徑；根據(jù)跳轉(zhuǎn)到每個第二狀態(tài)中的最終狀態(tài)的每條路徑，生成對應(yīng)的第二組測試序列。在本發(fā)明實(shí)施例中確定第二組測試序列時，在判斷該每個第二狀態(tài)中的狀態(tài)的輸入跳轉(zhuǎn)條件，是否為與其連接的狀態(tài)的輸出條件時，確定與其連接的狀態(tài)的方法與上述第一組測試序列生成時的判斷方法相同，在此就不——贅述。由于上述確定的連接路徑中，第五連接路徑包含的狀態(tài)最多，下面以第五連接路徑為例進(jìn)行說明，第五連接路徑包括DISCONNECTED狀態(tài)-CONNECTING狀態(tài)-AUTHENTICATED狀態(tài)-ACQUIRED狀態(tài)-AUTHENTICATING狀態(tài)。首先說明第一組測試序列的生成過程。在該第五連4妄路徑中初始狀態(tài)DISCONNECTED狀態(tài)存在兩個輸入跳轉(zhuǎn)條件，由于該狀態(tài)為初始狀態(tài)，該初始狀態(tài)的兩個輸入跳轉(zhuǎn)條件不可能是與其連接的狀態(tài)的輸出條件，因此，根據(jù)該兩個輸入跳轉(zhuǎn)條件，確定跳轉(zhuǎn)到該初始狀態(tài)的路徑，即跳轉(zhuǎn)到該初始狀態(tài)可以通過兩條路徑，該兩條路徑分別為表2中1.1和1.2兩條路徑，其中1.1路徑為Initializel卩portenabled,1.2路徑為LOGOFF<!userlogoff>。在該第四連接路徑上與該DISCONNECTED狀態(tài)相連的為CONNECTING狀態(tài)，對于該CONNECTING狀態(tài)在表2中可以看出，存在5個指向該狀態(tài)的箭頭，即存在5個輸入跳轉(zhuǎn)條件，其中一個輸入跳轉(zhuǎn)條件為DISCONNECTED狀態(tài)的輸出條件，即該表2中2.2,由于CONNECTING狀態(tài)與DISCONNECTED狀態(tài)在該連接路徑中相連，且DISCONNECTED狀態(tài)較與CONNECTING狀態(tài)連接的AUTHENTICATED狀態(tài)的位置臨近初始狀態(tài)，則將跳轉(zhuǎn)到該DISCONNECTED狀態(tài)的路徑，作為對應(yīng)該輸入跳轉(zhuǎn)條件的跳轉(zhuǎn)到該路徑的路徑，由于該DISCONNECTED狀態(tài)存在兩條跳轉(zhuǎn)到該狀態(tài)的路徑1.1和1.2,因此對于CONNECTING狀態(tài)該2.2的輸入跳轉(zhuǎn)條件存在兩條分支，即DISCONNECTED狀態(tài)的兩個輸入跳轉(zhuǎn)條件，即在該DISCONNECTED狀態(tài)為該1.1和1.2兩個條件時，都可以4吏該DISCONNECTED狀態(tài)跳轉(zhuǎn)到該CONNECTING狀態(tài)，即都可以滿足2.2的輸出條件。因此，可以通過2.1、2.3、2.4、2.5以及滿足該2.2條件的1.1以及1.2等路徑實(shí)現(xiàn)該CONNECTING狀態(tài)的跳轉(zhuǎn)，即跳轉(zhuǎn)到該CONNECTING狀態(tài)存在2+(5-1)=6種路徑。由于該第四路徑上CONNECTING狀態(tài)為第二個狀態(tài)，因此可以確定跳轉(zhuǎn)到該第二狀態(tài)CONNECTING狀態(tài)的路徑包括:1.1-2、1.2-2、2.1-2、2.3-2、2.4-2以及2.5-2，即分別通過1.1、1.2、2.1、2.3、2.4及2.5的輸入跳轉(zhuǎn)條件，跳轉(zhuǎn)到該CONNECTING狀態(tài)。在第四連接路徑上與該CONNECTING狀態(tài)相連的為AUTHENTICATED狀態(tài)，通過表2可以看出跳轉(zhuǎn)到該AUTHENTICATED狀態(tài)的輸入跳轉(zhuǎn)條件包括2個，其中輸入跳轉(zhuǎn)條件3.2是CONNECTING狀態(tài)的輸出條件，因此當(dāng)跳轉(zhuǎn)到該CONNECTING狀態(tài)存在6條路徑的情況下，在該CONNECTING狀態(tài)通過任意一條路徑跳轉(zhuǎn)到該CONNECTING狀態(tài)后，都可以產(chǎn)生3.2的輸出條件，因此跳轉(zhuǎn)到該AUTHENTICATED狀態(tài)的路徑包括6+(2-1)=7條。該AUTHENTICATED狀態(tài)為該第五連接路徑的第三個狀態(tài)，因此，跳轉(zhuǎn)到第三個狀態(tài)AUTHENTICATED狀態(tài)的路徑包括1.1-2-3、1.2-2-3、2.1-2-3、2.3-2-3、2.4-2-3、2.5-2-3以及3.1-3。即分別通過l.l、1.2、2.1、2.3、2.4、2.5及3.1的輸入跳轉(zhuǎn)條件，跳轉(zhuǎn)到該AUTHENTICATED狀態(tài)。對于該第五連接路徑上的第四個狀態(tài)ACQUIRED狀態(tài)，從表2中可以看出，該狀態(tài)存在5個輸入跳轉(zhuǎn)條件，其中輸入跳轉(zhuǎn)條件4.2是AUTHENTICATED狀態(tài)的輸出條件，因此，跳轉(zhuǎn)到該AUTHENTICATED狀態(tài)的所有輸入跳轉(zhuǎn)條件，都可以產(chǎn)生4.2的輸出條件，因此，跳轉(zhuǎn)到該第四狀態(tài)的路徑包括7+(5-l)=11條。因此，跳轉(zhuǎn)到該第四狀態(tài)ACQUIRED狀態(tài)的路徑包括1.1-2-3-4、1.2-2-3-4、2.1-2-3-4、2.3國2國3-4、2.4畫2畫3畫4、2.5-2-3-4、3.1-3-4、4.卜4、4.3-4、4.4-4以及4.5-4，即通過l.l、1.2、2.1、2.3、2.4、2.5、3.1、4.1、4.3、4.4以及4.5的輸入跳轉(zhuǎn)條件，都可以跳轉(zhuǎn)到該ACQUIRED狀態(tài)。在第五連接路徑的第一狀態(tài)為AUTHENTICATING狀態(tài)，從表2中可以看出，該狀態(tài)存在2個輸入跳轉(zhuǎn)條件，其中輸入跳轉(zhuǎn)條件5.2是該路徑中與其連接的ACQUIRED狀態(tài)的輸出條件，因此，跳轉(zhuǎn)到該ACQUIRED狀態(tài)的所有輸入跳轉(zhuǎn)條件，都可以產(chǎn)生5.2的輸出條件，因此，跳轉(zhuǎn)到該第一狀態(tài)的路徑包括11+(2-1)=12條。因此，跳轉(zhuǎn)到該第一狀態(tài)AUTHENTICATING狀態(tài)的路徑包括:1.1-2-3-4-5、1.2-2-3-4-5、2.1-2-3-4-5、2.3-2-3-4-5、2.4-2-3-4-5、2.5-2-3-4-5、3.1-3-4-5、4.1-4-5、4.3陽4國5、4.4-4-5、4.5國4國5以及5.1-5，即通過1.1、1.2、2.1、2.3、2.4、2.5、3.1、4.1、4.3、4.4、4.5以及5.1的輸入跳轉(zhuǎn)條件，都可以跳轉(zhuǎn)到該AUTHENTICATING狀態(tài)。因此可以根據(jù)該第五連接路徑中的跳轉(zhuǎn)到該第一狀態(tài)，即AUTHENTICATING狀態(tài)的路徑，生成第一組測試序列，即將該1.1、1.2、2.1、2.3、2.4、2.5、3.1、4.1、4.3、4.4、4.5以及5.1的輸入跳轉(zhuǎn)條件，作為該測試序列的輸入條件，判斷該第一狀態(tài)的輸出是否滿足該有限狀態(tài)機(jī)中該第一狀態(tài)的輸出條件。上述過程中對于第一組測試序列進(jìn)行了分析，對于第二組測試序列，同樣依據(jù)上述方法進(jìn)行分析。對于連接在該第五連接路徑之上的第二狀態(tài)LOGOFF狀態(tài)以及HELD狀態(tài)，由于該第二狀態(tài)中只包含一個狀態(tài)，該狀態(tài)可以為該第二狀態(tài)中的最初狀態(tài)或最終狀態(tài)，該狀態(tài)直接與該連接路徑相連，如圖5所示，該第二狀態(tài)中包括三個狀態(tài)，首先分析該第二狀態(tài)中最初狀態(tài)的輸入跳轉(zhuǎn)條件，確定跳轉(zhuǎn)到該最初狀態(tài)的路徑，然后確定該第二狀態(tài)中與該最初狀態(tài)連接的狀態(tài)的跳轉(zhuǎn)路徑，方法與第一組測試序列組中進(jìn)行確定的方法相同，在這里就不——贅述，同樣確定該第二狀態(tài)中最終狀態(tài)的輸入跳轉(zhuǎn)條件，進(jìn)而確定跳轉(zhuǎn)到該最終狀態(tài)的路徑，從而根據(jù)跳轉(zhuǎn)到該最終狀態(tài)的路徑生成第二組測試序列。在進(jìn)行一致性測試的時候，仍屬于黑盒測試，測試的過程不可知，只能對有輸出結(jié)果的過程進(jìn)行測試，因此，當(dāng)該有限測試機(jī)中某一連接路徑的第一狀態(tài)沒有輸出條件時，則無法對該第一狀態(tài)進(jìn)行測試。連接路徑上每條跳轉(zhuǎn)到第一狀態(tài)的路徑，生成基于該有限狀態(tài)機(jī)的網(wǎng)絡(luò)通信協(xié)議測試的測試序列。并且在進(jìn)行黑盒測試，確定測試序列時，當(dāng)跳轉(zhuǎn)到第一狀態(tài)路徑對應(yīng)輸出條件時，即第一狀態(tài)沒有輸出條件，則該跳轉(zhuǎn)路徑不滿足測試序列的生成條件，不能根據(jù)該跳轉(zhuǎn)路徑生成測試序列。在具體根據(jù)該生成的測試序列進(jìn)行一致性測試時，可以將對應(yīng)跳轉(zhuǎn)到第一狀態(tài)的所有路徑的輸入跳轉(zhuǎn)條件，作為無線通信系統(tǒng)的輸入條件，判斷該無線通信系統(tǒng)的輸出，是否滿足該連接路徑中第一狀態(tài)的輸出條件。而對于該連接路徑之外的第二狀態(tài)，對其進(jìn)行一致性測試時，根據(jù)跳轉(zhuǎn)到該第二狀態(tài)的最終狀態(tài)的路徑對應(yīng)的輸入跳轉(zhuǎn)條件，作為無線通信系統(tǒng)的輸入條件，判斷該無線通信系統(tǒng)的輸出，是否滿足該連接路徑中第二狀態(tài)中最終狀態(tài)的輸出條件。在本發(fā)明實(shí)施例中將網(wǎng)絡(luò)通信協(xié)議中有限狀態(tài)機(jī)之間各狀態(tài)之間的跳轉(zhuǎn)關(guān)系簡化，并基于簡化后的各狀態(tài)之間的跳轉(zhuǎn)關(guān)系，-使一致性測試序列的生成步驟化，根據(jù)上述提供的各個步驟，生成測試序列，從而提高了網(wǎng)絡(luò)通信協(xié)議一致性測試的測試效率，并且使各個狀態(tài)機(jī)之間的關(guān)系清晰化、直觀化，便于后續(xù)過程中根據(jù)該測試序列進(jìn)行測試過程的監(jiān)測，該測試序列的生成方法有較廣的應(yīng)用范圍，當(dāng)有限狀態(tài)機(jī)之間的各狀態(tài)的連接關(guān)系比較復(fù)雜時，也可以采用本發(fā)明實(shí)施例提供的生成測試序列的步驟，簡化各狀態(tài)之間的跳轉(zhuǎn)關(guān)系進(jìn)行測試序列的生成，從而簡化該測試序列生成的過程。圖6為本發(fā)明實(shí)施例提供的一種基于有限狀態(tài)機(jī)的網(wǎng)絡(luò)通信協(xié)議測試序列生成裝置，該裝置包括連接路徑確定模塊61，用于根據(jù)有限狀態(tài)機(jī)中的初始狀態(tài)，及各狀態(tài)之間的連接關(guān)系，確定有限狀態(tài)機(jī)中初始狀態(tài)與每個第一狀態(tài)之間對應(yīng)的每條連接路徑，其中每條連接路徑中包括至少兩個狀態(tài)；選擇模塊64，用于根據(jù)所述每條連接路徑中初始狀態(tài)及第一狀態(tài)之間包括的狀態(tài)的數(shù)量，選擇包括狀態(tài)數(shù)量最多的連接路徑；連接模塊62,用于確定位于所述選擇的連接路徑之外的每個第二狀態(tài)，根據(jù)該每個第二狀態(tài)與該選擇的連接路徑中每個狀態(tài)的連接關(guān)系，將該每個第二狀態(tài)連接到所述選擇的連接路徑上；生成模塊63,用于根據(jù)所述選擇的連接路徑上的每個狀態(tài)的輸入跳轉(zhuǎn)條件，及所述連接路徑中每個狀態(tài)之間的連接關(guān)系，生成對應(yīng)所述選擇的連接路徑的每個測試序列。所述連接路徑確定模塊61包括第一狀態(tài)確定單元611,用于根據(jù)各狀態(tài)之間的連接關(guān)系，及各狀態(tài)的輸入跳轉(zhuǎn)條件和輸出條件，確定每個狀態(tài)是否為連接路徑上的第一狀態(tài)；路徑確定單元612,用于根據(jù)確定的第一狀態(tài)，確定初始狀態(tài)到該第一狀態(tài)連接路徑。所述第一狀態(tài)確定單元611包括第一確定子單元6111，用于當(dāng)判斷狀態(tài)的輸出條件為其自身的輸入跳轉(zhuǎn)條件時，則判斷該狀態(tài)為對應(yīng)該輸出條件的連接路徑上的第一狀態(tài)。所述第一狀態(tài)確定單元611包括第二確定子單元6112，用于當(dāng)狀態(tài)的輸出條件為與其連接的另一狀態(tài)的輸入跳轉(zhuǎn)條件，并且該另一狀態(tài)在該連接路徑中進(jìn)行過是否為第一狀態(tài)的判斷時，則確定該狀態(tài)為連接路徑上的第一狀態(tài)。所述第一狀態(tài)確定單元611包括第三確定子單元6113,用于當(dāng)狀態(tài)不存在輸出條件時，確定該狀態(tài)為連接路徑上的第一狀態(tài)。所述生成模塊63包括第一生成單元631，用于根據(jù)該選擇的連接路徑上初始狀態(tài)與第一狀態(tài)之間的狀態(tài)的輸入跳轉(zhuǎn)條件，確定第一組測試序列；第二生成單元632，用于根據(jù)連接在該選擇的連接路徑上的每個第二狀態(tài)的輸入跳轉(zhuǎn)條件，確定第二組測試序列。所述第一生成單元631包括第一判斷子單元6311，用于在所述選擇的連接路徑的初始狀態(tài)和第一狀態(tài)之間的任意狀態(tài)中，判斷每個狀態(tài)的每個輸入跳轉(zhuǎn)條件，是否為與其連接的狀態(tài)輸出條件，其中該與其連接的狀態(tài)為所述選擇的連接路徑中與該狀態(tài)連接的，且與初始狀態(tài)臨近的狀態(tài)；第一路徑確定子單元6312，用于根據(jù)判斷的結(jié)果，確定跳轉(zhuǎn)到每個狀態(tài)的路徑；第一序列生成子單元6313,用于根據(jù)跳轉(zhuǎn)到第一狀態(tài)的每條路徑，生成對應(yīng)的第一組測試序列。所述第二生成單元632包括第二判斷子單元6321，用于根據(jù)該選擇的連接到該連接路徑上的每個第二狀態(tài)，判斷該每個第二狀態(tài)中的狀態(tài)的輸入跳轉(zhuǎn)條件，是否為與其連接的狀態(tài)的輸出條件，其中該與其連接的狀態(tài)包括該第二狀態(tài)中與該狀態(tài)連接的，且與初始狀態(tài)臨近的狀態(tài)；第二路徑確定子單元6322，用于根據(jù)判斷的結(jié)果，確定跳轉(zhuǎn)到每個狀態(tài)的路徑；第二序列生成子單元6323,用于根據(jù)跳轉(zhuǎn)到每個第二狀態(tài)中的最終狀態(tài)的每條路徑，生成對應(yīng)的第二組測試序列。本發(fā)明實(shí)施例提供了一種基于有限狀態(tài)機(jī)的網(wǎng)絡(luò)通信協(xié)議測試序列生成方法及裝置，該方法中確定該有限狀態(tài)機(jī)中初始狀態(tài)與每個第一狀態(tài)之間的連接路徑，選擇包含狀態(tài)最多的連接路徑，并將該選擇的連接路徑之外的第二狀態(tài)連接到該選擇的連接路徑上，從而實(shí)現(xiàn)了對有限狀態(tài)機(jī)中各狀態(tài)的跳轉(zhuǎn)關(guān)系的簡化，根據(jù)該選擇的連接路徑上每個狀態(tài)的輸入跳轉(zhuǎn)條件，生成對應(yīng)該選擇的連接路徑的每個測試序列，本發(fā)明實(shí)施例將網(wǎng)絡(luò)通信協(xié)議的一致性測試序列的生成步驟化，根據(jù)上述提供的各個步驟，生成測試序列，從而提高了網(wǎng)絡(luò)通信協(xié)議一致性測試的測試效率。明的精神和范圍。這樣，倘若本發(fā)明的這些修改和變型屬于本發(fā)明權(quán)利要求及其等同技術(shù)的范圍之內(nèi)，則本發(fā)明也意圖包含這些改動和變型在內(nèi)。權(quán)利要求1、一種基于有限狀態(tài)機(jī)的網(wǎng)絡(luò)通信協(xié)議測試序列生成方法，其特征在于，包括根據(jù)有限狀態(tài)機(jī)中的初始狀態(tài)，及各狀態(tài)之間的連接關(guān)系，確定有限狀態(tài)機(jī)中初始狀態(tài)與每個第一狀態(tài)之間對應(yīng)的每條連接路徑，其中每條連接路徑中包括至少兩個狀態(tài)；根據(jù)所述每條連接路徑中初始狀態(tài)及第一狀態(tài)之間包括的狀態(tài)的數(shù)量，選擇包括狀態(tài)數(shù)量最多的連接路徑；確定位于所述選擇的連接路徑之外的每個第二狀態(tài)，根據(jù)該每個第二狀態(tài)與所述選擇的連接路徑中每個狀態(tài)的連接關(guān)系，將該每個第二狀態(tài)連接到所述選擇的連接路徑上；根據(jù)所述選擇的連接路徑上的每個狀態(tài)的輸入跳轉(zhuǎn)條件，及所述選擇的連接路徑中每個狀態(tài)之間的連接關(guān)系，生成對應(yīng)所述選擇的連接路徑的測試序列。2、如權(quán)利要求1所述的方法，其特征在于，所述確定有限狀態(tài)機(jī)中初始狀態(tài)與每個第一狀態(tài)之間對應(yīng)的每條連接路徑包括根據(jù)各狀態(tài)之間的連接關(guān)系，及各狀態(tài)的輸入跳轉(zhuǎn)條件和輸出條件，確定每個狀態(tài)是否為連接;洛徑上的第一狀態(tài)；根據(jù)確定的第一狀態(tài)，確定初始狀態(tài)到該第一狀態(tài)的連接路徑。3、如權(quán)利要求2所述的方法，其特征在于，所述確定每個狀態(tài)是否為連接路徑上的第一狀態(tài)包括當(dāng)判斷該狀態(tài)的輸出條件為其自身的輸入跳轉(zhuǎn)條件時，則判斷該狀態(tài)為對應(yīng)該輸出條件的連接路徑上的第一狀態(tài)；或，當(dāng)狀態(tài)的輸出條件為與其連接的另一狀態(tài)的輸入跳轉(zhuǎn)條件，并且該另一狀態(tài)在該連接路徑中進(jìn)行過是否為第一狀態(tài)的判斷時，則確定該狀態(tài)為連接路徑上的第一狀態(tài)；或，當(dāng)狀態(tài)不存在輸出條件時，則判斷該狀態(tài)為連接路徑上的第一狀態(tài)。4、如權(quán)利要求1所述的方法，其特征在于，所述生成對應(yīng)所述選擇的連接路徑的測試序列包括根據(jù)所述選擇的連接路徑上初始狀態(tài)與第一狀態(tài)之間的狀態(tài)的輸入跳轉(zhuǎn)條件，確定第一組測試序列；并根據(jù)連接在所述選擇的連接路徑上的每個第二狀態(tài)的輸入跳轉(zhuǎn)條件，確定第二組測試序列。5、如權(quán)利要求4所述的方法，其特征在于，所述確定第一組測試序列包括在所述選擇的連接路徑的初始狀態(tài)和第一狀態(tài)之間的任意狀態(tài)中，判斷每個狀態(tài)的每個輸入跳轉(zhuǎn)條件，是否為與其連接的狀態(tài)輸出條件，其中該與其連接的狀態(tài)為所述選擇的連接路徑中與該狀態(tài)連接，且與初始狀態(tài)位置臨近的狀態(tài)；當(dāng)判斷結(jié)果為是時，根據(jù)跳轉(zhuǎn)到該與其連接的狀態(tài)的每條路徑，確定該狀態(tài)中對應(yīng)該輸入跳轉(zhuǎn)條件的跳轉(zhuǎn)到該狀態(tài)的路徑，否則，根據(jù)該狀態(tài)的該輸入跳轉(zhuǎn)條件，確定跳轉(zhuǎn)到該狀態(tài)的路徑；根據(jù)跳轉(zhuǎn)到第一狀態(tài)的每條路徑，生成對應(yīng)的第一組測試序列。6、如權(quán)利要求4所述的方法，其特征在于，所述確定第二組測試序列包括根據(jù)該連接到該選擇的連接路徑上的每個第二狀態(tài)，判斷該每個第二狀態(tài)中的狀態(tài)的輸入跳轉(zhuǎn)條件，是否為與其連接的狀態(tài)的輸出條件，其中該與其連接的狀態(tài)包括該第二狀態(tài)中與該狀態(tài)連接的，且與初始狀態(tài)位置臨近的狀態(tài)；當(dāng)判斷結(jié)果為是時，根據(jù)跳轉(zhuǎn)到與其連接的狀態(tài)每條路徑，確定該狀態(tài)中對應(yīng)該輸入跳轉(zhuǎn)條件的跳轉(zhuǎn)到該狀態(tài)的路徑，否則，根據(jù)該狀態(tài)的該輸入跳轉(zhuǎn)條件，確定跳轉(zhuǎn)到該狀態(tài)的路徑；根據(jù)跳轉(zhuǎn)到每個第二狀態(tài)中的最終狀態(tài)的每條路徑，生成對應(yīng)的第二組測試序列。7、一種基于有限狀態(tài)機(jī)的網(wǎng)絡(luò)通信協(xié)議測試序列生成裝置，其特征在于，該裝置包括連接路徑確定模塊，用于根據(jù)有限狀態(tài)機(jī)中的初始狀態(tài)，及各狀態(tài)之間的連接關(guān)系，確定有限狀態(tài)機(jī)中初始狀態(tài)與每個第一狀態(tài)之間對應(yīng)的每條連接路徑，其中每條連接路徑中包括至少兩個狀態(tài)；選擇模塊，用于根據(jù)所述每條連接路徑中初始狀態(tài)及第一狀態(tài)之間包括的狀態(tài)的數(shù)量，選擇包括狀態(tài)數(shù)量最多的連接路徑；'連接模塊，用于確定位于所述選擇的連接路徑之外的每個第二狀態(tài)，根據(jù)該每個第二狀態(tài)與該選擇的連接路徑中每個狀態(tài)的連接關(guān)系，將該每個第二狀態(tài)連接到所述選擇的連接路徑上；生成模塊，用于根據(jù)所述選擇的連接路徑上的每個狀態(tài)的輸入跳轉(zhuǎn)條件，及所述選擇的連接路徑中每個狀態(tài)之間的連接關(guān)系，生成對應(yīng)所述選擇的連接路徑的測試序列。8、如權(quán)利要求7所述的裝置，其特征在于，所述連接路徑確定模塊包括第一狀態(tài)確定單元，用于根據(jù)各狀態(tài)之間的連接關(guān)系，及各狀態(tài)的輸入跳轉(zhuǎn)條件和輸出條件，確定每個狀態(tài)是否為連接路徑上的第一狀態(tài)；路徑確定單元，用于根據(jù)確定的第一狀態(tài)，確定初始狀態(tài)到該第一狀態(tài)的連接路徑。9、如權(quán)利要求8所述的裝置，其特征在于，所述第一狀態(tài)確定單元包括第一確定子單元，用于當(dāng)判斷狀態(tài)的輸出條件為其自身的輸入跳轉(zhuǎn)條件時，則判斷該狀態(tài)為對應(yīng)該輸出條件的連接路徑上的第一狀態(tài)；第二確定子單元，用于當(dāng)狀態(tài)的輸出條件為與其連接的另一狀態(tài)的輸入跳轉(zhuǎn)條件，并且該另一狀態(tài)在該連接路徑中進(jìn)行過是否為第一狀態(tài)的判斷時，則確定該狀態(tài)為連接路徑上的第一狀態(tài)；第三確定子單元，用于當(dāng)狀態(tài)不存在輸出條件時，確定該狀態(tài)為連接路徑上的第一狀態(tài)。10、如權(quán)利要求7所述的裝置，其特征在于，所述生成模塊包括第一生成單元，用于根據(jù)所述選擇的連接路徑上初始狀態(tài)與第一狀態(tài)之間的狀態(tài)的輸入跳轉(zhuǎn)條件，確定第一組測試序列；第二生成單元，用于根據(jù)連接在所述選擇的連接路徑上的每個第二狀態(tài)的輸入跳轉(zhuǎn)條件，確定第二組測試序列。全文摘要本發(fā)明公開了一種基于有限狀態(tài)機(jī)的網(wǎng)絡(luò)通信協(xié)議測試序列生成方法及裝置，用以提供一種有效的進(jìn)行一致性測試的測試序列生成方法。該方法確定該有限狀態(tài)機(jī)中初始狀態(tài)與每個第一狀態(tài)之間的連接路徑，選擇包含狀態(tài)最多的連接路徑，并將該選擇的連接路徑之外的第二狀態(tài)連接到該連接路徑上，根據(jù)該連接路徑上每個狀態(tài)的輸入跳轉(zhuǎn)條件，生成對應(yīng)該連接路徑的每個測試序列，本發(fā)明實(shí)施例將網(wǎng)絡(luò)通信協(xié)議的一致性測試序列的生成步驟化，根據(jù)上述提供的各個步驟，生成測試序列，從而提高了網(wǎng)絡(luò)通信協(xié)議一致性測試的測試效率。文檔編號H04L12/26GK101674205SQ20091017126公開日2010年3月17日申請日期2009年8月27日優(yōu)先權(quán)日2009年8月27日發(fā)明者薛素芬申請人:福建星網(wǎng)銳捷網(wǎng)絡(luò)有限公司