出函數(shù)，表示所述的輸入符號集X使當(dāng)前狀態(tài)集合Q發(fā)生轉(zhuǎn)換時產(chǎn) 生輸出符號集合Y，0(qi，s2) = 0(qi，a) ? 0( 5 (qi，a2)，a3a4. ? ?a) =Y，表示長度為 1 的輸 入字符串s2使當(dāng)前狀態(tài)qi發(fā)生轉(zhuǎn)換時產(chǎn)生的一個輸出字符集Y，其中1為非負(fù)整數(shù)，qiGQ， s2= (a盧而.? ?a)，3盧233. ? ? 均屬于輸入字符集X， 使用結(jié)構(gòu)（qpqyx/y)表示一個狀態(tài)到下一個狀態(tài)的轉(zhuǎn)換，其中qiGQ，qjGQ，xGX，yGY，8 (qi，x) =qj，0(qi，x) =y，其含義為輸入字符x使有限狀態(tài)機(jī)模型由狀態(tài)qi轉(zhuǎn)入 狀態(tài)％，同時輸出符號y，有限狀態(tài)機(jī)模型在輸入空序列的情況下，將產(chǎn)生空輸出，同時仍處 于原來的狀態(tài)，使用符號e表示空輸入序列，null表示空輸出，該轉(zhuǎn)換表示為（c^i，e/ null)， 而對于所述的計算機(jī)仿真系統(tǒng)有限狀態(tài)機(jī)模型札而言，有限狀態(tài)集合Q包含：空閑狀 態(tài)、發(fā)送狀態(tài)和接收狀態(tài)三個狀態(tài)，分別用qvqpq2表示，其中空閑狀態(tài)qc!為初始狀態(tài)，為 簡便起見，假設(shè)計算機(jī)仿真系統(tǒng)有限狀態(tài)機(jī)模型狀態(tài)數(shù)為n，實際系統(tǒng)的狀態(tài)數(shù)為m，且m= n, 1:有兩種輸入符號，分別為控制信號A和控制信號B，即輸入字符集X= {A，B}， 1:有兩種輸出符號，分別為二進(jìn)制的0和1，即輸出字符集Y= {0，1}， 狀態(tài)轉(zhuǎn)移函數(shù)S包括： 8 (q0,A) =q" 8 (q〇,B) =q2，8 (qi，A) =q0， 8 (q"B) =q2，8 (q2,A) =q" 8 (q2,B) =q0， 其中，S(qci，A) =1表示在空閑狀態(tài)q(l下，輸入控制信號A，使計算機(jī)仿真系統(tǒng)有限狀 態(tài)機(jī)模型Ml從空閑狀態(tài)q^轉(zhuǎn)換到發(fā)送狀態(tài)qi，其余類推， 輸出符號〇包括： 0(q〇,A) = 1，0(q〇,B) = 1，(KqpA) = 0， (Kq!，B) = 1，0(q2,A) = 0, 0(q2,B) = 1， 0(q2,B) = 1表示接收狀態(tài)(12下，輸入控制信號B，輸出1，其余類推，根據(jù)所述的有限 狀態(tài)機(jī)模型札六元組得到所述計算機(jī)仿真系統(tǒng)有限狀態(tài)機(jī)模型圖， 步驟（1. 2)，由Wp方法得到計算機(jī)仿真系統(tǒng)有限狀態(tài)機(jī)模型札測試用例約簡所需要的 集合： 轉(zhuǎn)換覆蓋集P= {e，A，AA，AB，B，BA，BB}， 狀態(tài)覆蓋集S= {e，A，AB}， 特征集W= {A，AA}， 等價特征集WQ= {A}，W{A，AA}，W2= {A，AA}， 測試用例子集 {A，AA，AAA，ABA，ABAA}， 測試用例子集T2= {AAA，BA，BAA，BAAA，BBA}， 約簡前的測試用例集合： T" =UT2= {A，AA，AAA，ABA，ABAA，BA，BAA，BAAA，BBA}， 步驟（1. 3)，對計算機(jī)仿真系統(tǒng)有限狀態(tài)機(jī)模型A的各個轉(zhuǎn)換設(shè)置唯一的轉(zhuǎn)換標(biāo)識，設(shè) 定以下轉(zhuǎn)換與轉(zhuǎn)換標(biāo)識的對應(yīng)關(guān)系： 轉(zhuǎn)換（qo,1，A/1)的轉(zhuǎn)換標(biāo)識為h，轉(zhuǎn)換（q^q2,B/1)的轉(zhuǎn)換標(biāo)識為t2， 轉(zhuǎn)換（q:，qQ，A/0)的轉(zhuǎn)換標(biāo)識為t3，轉(zhuǎn)換（qpq2,B/1)的轉(zhuǎn)換標(biāo)識為t4， 轉(zhuǎn)換（q2,q:，A/0)的轉(zhuǎn)換標(biāo)識為t5，轉(zhuǎn)換（q2,q^，B/1)的轉(zhuǎn)換標(biāo)識為t6， 將步驟（1.2)中得到的每個集合轉(zhuǎn)換成由轉(zhuǎn)換標(biāo)識構(gòu)成的對應(yīng)集合，
Sld= {e，t"htj， P{S，t1，titg，1^1七4，1^2，tgtg}， Rld={titg,t,,t2t5,t2tg},
其中， T{d: Wp測試集子集合中的每條測試序列分別從初始狀態(tài)出發(fā)，將其依次經(jīng)過的每 個轉(zhuǎn)換用對應(yīng)的轉(zhuǎn)換標(biāo)識替代，得到的替代后轉(zhuǎn)換標(biāo)識序列所構(gòu)成的集合， If:Wp測試集子集合T2中的每條測試序列分別從初始狀態(tài)出發(fā)，將其依次經(jīng)過的每 個轉(zhuǎn)換用對應(yīng)的轉(zhuǎn)換標(biāo)識替代，得到的替代后轉(zhuǎn)換標(biāo)識序列所構(gòu)成的集合， Sid:表示狀態(tài)覆蓋集S中的每條測試序列分別從初始狀態(tài)出發(fā)，將其依次經(jīng)過的每個 轉(zhuǎn)換用對應(yīng)的轉(zhuǎn)換標(biāo)識替代，得到的替代后轉(zhuǎn)換標(biāo)識序列所構(gòu)成的集合， Pid:表示轉(zhuǎn)換覆蓋集P中的每條測試序列分別從初始狀態(tài)出發(fā)，將其依次經(jīng)過的每個 轉(zhuǎn)換用對應(yīng)的轉(zhuǎn)換標(biāo)識替代，得到的替代后轉(zhuǎn)換標(biāo)識序列所構(gòu)成的集合， Rid:表示Pid與Sid的差集，即Rid=Pid_Sid， Wid(qj):表示等價特征集1中的每條測試序列分別從狀態(tài)h出發(fā)，將其依次經(jīng)過的每 個轉(zhuǎn)換用對應(yīng)的轉(zhuǎn)換標(biāo)識替代，得到的替代后轉(zhuǎn)換標(biāo)識序列所構(gòu)成的集合，其中Q， 步驟（1.4)，對集合Tf進(jìn)行約簡， ⑴構(gòu)造集合的覆蓋需求集RcqCM=Tjd，則 RGQ(T { 11，11 ，11tgt1，11 ，11 ， ⑵使用謂詞函數(shù)isCover_Prefix，令約簡后的把為！1' 1，則
步驟（1.5)，對集合T產(chǎn)進(jìn)行約簡， (1) 構(gòu)造集合1~2的覆蓋需求集： ?當(dāng)m辛n時，
其中， q=Tail(Last(seq)), u=Tail(t)，其中t=Last(s)，sGIld[m_n] (q)， Ild[m-n] (q):表示對于所有seqGI[m-n]，seq在狀態(tài)qGQ處出發(fā)，將其依次經(jīng)過的 每個轉(zhuǎn)換用對應(yīng)的轉(zhuǎn)換標(biāo)識替代，得到的替代后轉(zhuǎn)換標(biāo)識序列所構(gòu)成的集合， Tail(t):表示轉(zhuǎn)換t的尾狀態(tài)， Last(seq):表示轉(zhuǎn)換標(biāo)識序列seq的最后一項轉(zhuǎn)換標(biāo)識， ?當(dāng)m=n時，Iid[m_n] (q)為空集，此時
其中，q=Tail(Last(seq))， 在此處按照之前步驟（1. 1)中的假設(shè)m=n，則
⑵使用謂詞函數(shù)isC〇ver_SubSeq，令約簡后的T產(chǎn)為T' 2，則
步驟（1.6)，對T' +T' 2進(jìn)行約簡， ⑴構(gòu)造集合T'iUT' 2的覆蓋需求集Req(T'iUT' 2)=T'iUT' 2，則 Req(T' :UTr2) = t1t4t5t3,t2t5t3t1,t2t6tj, (2) 使用謂詞函數(shù)isCover_Prefix，令約簡后的T'iUT' 2為T'，則 Tr =GREEDY_SET_COVER(T,:UTr2，Req(T，iUT，2),isCover_Prefix) -{tjtgtj, t1t4tgt3，t2tgt3t1，t2tgt1}, 步驟（1. 7)，將步驟（1. 6)得到的測試用例集T'中各轉(zhuǎn)換序列中的轉(zhuǎn)換標(biāo)識替換為對 應(yīng)轉(zhuǎn)換的輸入符號，得到最終的測試用例集： T= {AAA，ABAA，BAAA，BBA}; 步驟（2)，生成所述無線傳感器網(wǎng)絡(luò)系統(tǒng)，其中包括：中央控制器、受控于所述中央控 制器的分別表示空閑、發(fā)送和接收三種狀態(tài)的狀態(tài)轉(zhuǎn)換指示燈U、LdPL2，分別表示無線傳 感器故障、網(wǎng)絡(luò)傳輸故障的故障指示燈EJPE2、分布式無線傳感器網(wǎng)絡(luò)，三者共同組成了無 線傳感器網(wǎng)絡(luò)系統(tǒng)，其中，中央控制器包括控制器和以主程序流程框圖描述的通信協(xié)議設(shè) 計軟件； 步驟（3)，按以下步驟利用步驟（1)中所述流程處理根據(jù)無線傳感器網(wǎng)絡(luò)系統(tǒng)所描述 的無線傳感器網(wǎng)絡(luò)系統(tǒng)有限狀態(tài)機(jī)模型，得到Wp測試用例約簡集， 步驟（3. 1)，對于所述的無線傳感器網(wǎng)絡(luò)系統(tǒng)通信協(xié)議設(shè)計規(guī)范而言，無線傳感器網(wǎng)絡(luò) 系統(tǒng)有限狀態(tài)機(jī)模型M2= (Q，X，Y，q。，S，〇)，其中： 有限狀態(tài)集合Q，包含空閑狀態(tài)、發(fā)送狀態(tài)和接收狀態(tài)，空閑狀態(tài)表示系統(tǒng)處于初始狀 態(tài)，發(fā)送狀態(tài)表示系統(tǒng)處于發(fā)送傳感器數(shù)據(jù)狀態(tài)，接收狀態(tài)表示系統(tǒng)處于接收傳感器數(shù)據(jù) 狀態(tài)，三個狀態(tài)分別用qQ，qJPIq2表示，即Q=h。，1，， 輸入字符集X包括兩個控制操作，其中一個是代表傳輸控制操作的輸入操作集合A，也 稱傳感器控制信號，A= {ai，a2，a3}，其中， a:表示執(zhí)行輸入操作ai，在空閑狀態(tài)輸出1信號，使系統(tǒng)從空閑狀態(tài)q(l轉(zhuǎn)向發(fā)送狀態(tài)Ql，否則發(fā)出0信號，表示不轉(zhuǎn)換，用叫/1表示使系統(tǒng)從空閑狀態(tài)％向發(fā)送狀態(tài)q與換的狀 態(tài)轉(zhuǎn)換控制符號， a2表示執(zhí)行輸入操作a2，在發(fā)送狀態(tài)輸出1信號，使系統(tǒng)從發(fā)送狀態(tài)qi轉(zhuǎn)向接收狀態(tài)q2，否則發(fā)出0信號，表示不轉(zhuǎn)換，用a2/l表示使系統(tǒng)從發(fā)送狀態(tài)qi向接收狀態(tài)q2轉(zhuǎn)換的狀 態(tài)轉(zhuǎn)換控制符號， a3表示執(zhí)行輸入操作a3，在接收狀態(tài)輸出1信號，使系統(tǒng)從接收狀態(tài)q2轉(zhuǎn)向空閑狀態(tài) %，否則發(fā)出0信號，表示不轉(zhuǎn)換，用a3/l表示使?fàn)顟B(tài)從接收狀態(tài)q2向空閑狀態(tài)q(l轉(zhuǎn)換的狀 態(tài)轉(zhuǎn)換控制符號， 另一個是代表故障控制操作的輸入操作集合B，B={bpb2,b3}，其中，b1:在空閑狀態(tài)q(l，執(zhí)行輸入操作、，輸出1信號，表示故障已排除，使系統(tǒng)從空閑狀態(tài) %轉(zhuǎn)換為狀態(tài)q2進(jìn)入接收狀態(tài)，否則輸出〇信號，故障未排除，狀態(tài)不發(fā)生轉(zhuǎn)換，用bVI表 示使系統(tǒng)從空閑狀態(tài)q〇轉(zhuǎn)換為接收狀態(tài)92的狀態(tài)轉(zhuǎn)換控制符號， b2:在接收狀態(tài)q2，執(zhí)行輸入操作匕，輸出1信號，表示出現(xiàn)數(shù)據(jù)網(wǎng)絡(luò)傳輸故障，需要重 傳，使系統(tǒng)從接收狀態(tài)q2轉(zhuǎn)換為發(fā)送狀態(tài)qi，紅色狀態(tài)指示燈由L/變?yōu)長i，否則輸出0信 號，不需要重傳數(shù)據(jù)，用b2/l表示使系統(tǒng)從接收狀態(tài)q2轉(zhuǎn)換為發(fā)送狀態(tài)ql的狀態(tài)轉(zhuǎn)換控 制符號， b3:在發(fā)送狀態(tài)qi，執(zhí)行輸入操作b3，輸出1信號，表示出現(xiàn)無線傳感器故障，使發(fā)送狀 態(tài)1轉(zhuǎn)換為空閑狀態(tài)q^，紅色狀態(tài)指示燈由U變?yōu)長^，停止發(fā)送，否則輸出0信號，表示正 常，用b3/l表示使系統(tǒng)從發(fā)送狀態(tài)^轉(zhuǎn)換為空閑狀態(tài)q^的狀態(tài)轉(zhuǎn)換控制符號， 輸出字符集Y包括二進(jìn)制碼1和0,其中1表示存在狀態(tài)發(fā)生轉(zhuǎn)換或傳輸出現(xiàn)故障，0 表示不存在以上情形， 狀態(tài)轉(zhuǎn)移函數(shù)S包括： 5 (q0, a!) = q!，8 (q〇, a2) = q0，8 (q〇,a3) = q0， ^ (q〇? bj) - q2? S (q0, b2) - q0，5 (q〇，b3) - q0， 5 (Qi，％) = q" 5 (q" a2) = q2，5 (q"a3) = q" 8 (qj,bj) - Qj? 8 (qj,b2) - Qi? ^ (qj,b3) - q〇， 8 (q2, a!) = q2，8 (q2, a2) = q2，8 (q2,a3) = q0， 8 (q2jbj) -q2?S(q2?b2) -q!，5 (q2，b3) -q2， 其中，S(qi，b3) =%表示在發(fā)送狀態(tài)1執(zhí)行輸入操作b3，使無線傳感器網(wǎng)絡(luò)系統(tǒng)有限 狀態(tài)機(jī)模型M2從發(fā)送狀態(tài)q:轉(zhuǎn)移為空閑狀態(tài)q^，表示出現(xiàn)無線傳感器故障，其余類推， 輸出符號〇包括： 0(q〇,a:) =1, 0(q〇,a2) = 0, 0(q〇,a3) = 0, 0(q〇,bj =