1，0(q〇, b2) = 0, 0(q〇, b3) = 0， (Kq" = 0, (Kq" a2) = 1，(Kq" a3) = 0， (Kq"bj = 0, (Kq" b2) = 0, (Kq" b3) = 1， 0(q2,a!) = 0, 0(q2, a2) = 0, 0(q2, a3) = 1， 0(q2,bD= 0, 0(q2,b2) = 1，0(q2,b3) = 0， (KqoA) = 1表示在空閑狀態(tài)q0,執(zhí)行輸入操作h，輸出1信號(hào)，表示故障已排除，無線 傳感器網(wǎng)絡(luò)系統(tǒng)有限狀態(tài)機(jī)模型M2從空閑狀態(tài)q^回到接收狀態(tài)q2，其余類推， 根據(jù)所述六元組有限狀態(tài)機(jī)模型得到所述無線傳感器網(wǎng)絡(luò)系統(tǒng)有限狀態(tài)機(jī)模型， 步驟（3. 2)，由Wp方法得到無線傳感器網(wǎng)絡(luò)系統(tǒng)有限狀態(tài)機(jī)模型M2測(cè)試用例約簡所需 要的集合： 車?賴rm.P{S，&2 ' &3 'bg' 'Sllbg'bi&g' 'blbgbg' 'Stl&l'￡llbi' ￡1々2 ' ￡11&3 'blbg' bibgSi，bibgS^，bibgbi，bibgb。，3*1&2"^2，b]_，&i&2，bi&i，bi&2，bi"bi，bib]，bibgS^， aia2^°2}r 狀態(tài)覆蓋集s= {e，ai，bJ， 特征集w= {a^a2,a3}， 等價(jià)特征集WQ= {aJ'Wf{a2}、W3= {a3}， 第一部分測(cè)試用例集合： Ti- i，&2，，&1&2，&i￡l3，bi&i，， 第二部分測(cè)試用例集合： 丁2- 2&i，&3已1，，bg&i，￡1山3&1，bi^lgai，，bibgbg&i，&1&1&2 ' &ibi￡l2 ' &山2￡12 ' &1￡13&2 ' 13山2&2，"^山2&1&2，b]_b2&3&2，bibgbi&g，bibgbgS^，&2，&1&2&3，b]_&i&3，bi&2&3，t)i"bi&3，bibg&g，&3，&1&2&1&3，&1&2&2&3，， 約簡前的測(cè)試用例集合： T-TiUT2 - 1，&2，％，，已1&3，bi&i，bi&2，bi&3，已2&1，&3已1，， bibgbgSi，aibi&2，&山2&2，&1&3&2，"^山2&2，"^山2&13<2，bibgbiB^， bibgbgS^，&2，&1&2&3，b]_&i&3，bi&2&3，t)i"bi&3，bibg&g，13山2&2&3，&3，&1&2&2&3，aia2^3a3^ 7 步驟（3. 3)，對(duì)無線傳感器網(wǎng)絡(luò)系統(tǒng)有限狀態(tài)機(jī)模型仏的各個(gè)轉(zhuǎn)換設(shè)置唯一的轉(zhuǎn)換標(biāo) 識(shí)，設(shè)定以下轉(zhuǎn)換與轉(zhuǎn)換標(biāo)識(shí)的對(duì)應(yīng)關(guān)系： 轉(zhuǎn)換（qQ，qQ，a2/0)的轉(zhuǎn)換標(biāo)識(shí)為ti，轉(zhuǎn)換（qQ，qQ，a3/0)的轉(zhuǎn)換標(biāo)識(shí)為t2， 轉(zhuǎn)換（qQ，qQ，b2/0)的轉(zhuǎn)換標(biāo)識(shí)為t3，轉(zhuǎn)換（qQ，qQ，b3/0)的轉(zhuǎn)換標(biāo)識(shí)為t4， 轉(zhuǎn)換（qQ，q:，aVl)的轉(zhuǎn)換標(biāo)識(shí)為t5，轉(zhuǎn)換（qQ，q2,b/1)的轉(zhuǎn)換標(biāo)識(shí)為t6， 轉(zhuǎn)換（qpqpaVO)的轉(zhuǎn)換標(biāo)識(shí)為t7，轉(zhuǎn)換（qpa3/0)的轉(zhuǎn)換標(biāo)識(shí)為t8， 轉(zhuǎn)換（qpq:，lV〇)的轉(zhuǎn)換標(biāo)識(shí)為t9,轉(zhuǎn)換（qM，b2/0)的轉(zhuǎn)換標(biāo)識(shí)為t1(l， 轉(zhuǎn)換（qpqQ，b3/l)的轉(zhuǎn)換標(biāo)識(shí)為tn，轉(zhuǎn)換（qpq2,a2/l)的轉(zhuǎn)換標(biāo)識(shí)為t12， 轉(zhuǎn)換（q2, ％，ai/〇)的轉(zhuǎn)換標(biāo)識(shí)為h，轉(zhuǎn)換（％，％，％/〇)的轉(zhuǎn)換標(biāo)識(shí)為七14， 轉(zhuǎn)換（q2,q2,lV〇)的轉(zhuǎn)換標(biāo)識(shí)為t15，轉(zhuǎn)換（q2,q2,b3/0)的轉(zhuǎn)換標(biāo)識(shí)為t16， 轉(zhuǎn)換（q2,qQ，a3/l)的轉(zhuǎn)換標(biāo)識(shí)為t17，轉(zhuǎn)換（q2,qQ，b2/l)的轉(zhuǎn)換標(biāo)識(shí)為t18， 將步驟（1.2)中得到的每個(gè)集合轉(zhuǎn)換成由轉(zhuǎn)換標(biāo)識(shí)構(gòu)成的對(duì)應(yīng)集合，其中，
Sld= {e，t5,t6}， P- {e,t1,t2，t3，t4，tgtn，t6t17，tgt12t17，tgt12tn，tg,tgty,tgtg,tgtjg,tgtg,tgtjg, tgtjgtg,tgtjgtg,tgtjgtjg,tgt12t18，tg,tgt12Jtgtjg,tgt^,tgtjg,tgtjg, ^5^12^14?tgt12t15，tgt12t16}, R-{ti,t2，t3，t4，tgtU，tgtjy,tgt12t17,tgt12tn，tgty,tgtg,tgtjg,tgtg,tgtjg,tgtjgty,^6^18^8? tgtjgtg, tgtjgtjg, tgt12t18, tgt12 J tgtjg, tgt^, tgtjg, tgtjg, tgtjgt^ J ^5^12^15?t5t12t16},
步驟（3. 4)，對(duì)集合T產(chǎn)進(jìn)行約簡， (1) 構(gòu)造集合Tid的覆蓋需求集RcqCTO=T〗d，則 Req(Tj) - {t5，t2，t5t7，t5t12，t5t8，t6t13，t6t14，t6t17}， (2) 使用謂詞函數(shù)isc〇ver_prefix，令約簡后的nf為T'
步驟（3. 5)，對(duì)集合T】d:進(jìn)行約簡， (1)構(gòu)造集合Tid的覆蓋需求集的計(jì)算如下：
(2)使用謂詞函數(shù)isC〇ver_SUbSeq，令約簡后的T〗d*T' 2，則
步驟（3.6)，對(duì)T' +T' 2進(jìn)行約簡， ⑴構(gòu)造集合T'iUT' 2的覆蓋需求集Req(T':UTr2) =Tr:UTr2，則Req(TiUT2) -{tpt2，t5t7，t5t12，t5t8，t6t13，t6t14，t6t17，1^1:5，t2t5，t3t5，t4t5， ^5^12^n^5,t5t7t12Jtgt18tgt12Jt5t1〇t12Jtgt8t12Jtgt13t17，tgt14t17，t6t15t17， 七6七16七17}， (2)使用謂詞函數(shù)isCover_Prefix，令約簡后的T'iUT' 2為T'，則 Tr =GREEDY_SET_COVER(T,:UTr2，Req(T，iUT，2),isCover_Prefix) -{tgtjy,tjtg,t2tg,tgtg,t4tg,tgtjjtg, tgtgt^J 七6七13七17，t6t14t17,t6t15t17,t6t16t17}, 步驟（3. 7)，將步驟（3. 6)中得到的測(cè)試用例集T'中各轉(zhuǎn)換序列中的轉(zhuǎn)換標(biāo)識(shí)替換為 對(duì)應(yīng)轉(zhuǎn)換中的輸入操作，得到最終的測(cè)試用例集： T- {bi&g，&2&1，&3&1，，bg&i，&山3&1，&i&2&3&1，，bibgbi&g，，&1&3&2， h^cL^cL^^b^&2^3? ? 步驟（4)，按系統(tǒng)所處當(dāng)時(shí)的狀態(tài)，依次進(jìn)行系統(tǒng)測(cè)試步驟如下： 步驟（4. 1)，系統(tǒng)在線狀態(tài)為空閑狀態(tài)q(l， 步驟（4. 1. 1)，判斷輸入字符串為A或B，若輸入字符串A，執(zhí)行步驟（4. 1. 2)，否則執(zhí)行 步驟（4. 1. 3)， 步驟（4. 1. 2)，判斷狀態(tài)轉(zhuǎn)換控制信號(hào)是否為a/1，若為ai/l，則轉(zhuǎn)換為發(fā)送狀態(tài)qi，否 則不發(fā)生轉(zhuǎn)換， 步驟（4. 1.3)，判斷狀態(tài)轉(zhuǎn)換控制信號(hào)是否為匕/1，若為h/1，則轉(zhuǎn)換為接收狀態(tài)q2，否 則不發(fā)生轉(zhuǎn)換， 步驟（4. 2)，系統(tǒng)在線狀態(tài)為發(fā)送狀態(tài)qi， 步驟（4. 2. 1)，判斷輸入字符串為A或B，若輸入字符串A，執(zhí)行步驟（4. 2. 2)，否則執(zhí)行 步驟（4. 2. 3)， 步驟（4. 2. 2)，判斷狀態(tài)轉(zhuǎn)換控制信號(hào)是否為a2/l，若為a2/l，則轉(zhuǎn)換為接收狀態(tài)q2，否 則不發(fā)生轉(zhuǎn)換， 步驟（4. 2. 3)，判斷狀態(tài)轉(zhuǎn)換控制信號(hào)是否為b3/l，若為b3/l，則Ei燈亮，無線傳感器同 時(shí)轉(zhuǎn)換為空閑狀態(tài)％，否則不發(fā)生轉(zhuǎn)換， 步驟（4. 3)，系統(tǒng)在線狀態(tài)為接收狀態(tài)q2， 步驟（4. 3. 1)，判斷輸入字符串為A或B，若輸入字符串A，執(zhí)行步驟（4. 3. 2)，若輸入字 符串B，執(zhí)行步驟（4. 3. 3)， 步驟（4. 3. 2)，判斷狀態(tài)轉(zhuǎn)換控制信號(hào)是否為a3/l，若為a3/l，則轉(zhuǎn)換為空閑狀態(tài)％，否 則不發(fā)生轉(zhuǎn)換， 步驟（4. 3. 3)，判斷狀態(tài)轉(zhuǎn)換控制信號(hào)是否為b2/l，若為b2/l，則E2燈亮，無線傳感器同 時(shí)轉(zhuǎn)換為發(fā)送狀態(tài)q〇,否則不發(fā)生轉(zhuǎn)換， 步驟（4. 4)，接著用步驟（3. 7)生成的約簡后的測(cè)試用例集T中15條測(cè)試用例去測(cè)試 無線傳感器網(wǎng)絡(luò)系統(tǒng)，若全部都測(cè)試通過，則表明無線傳感器網(wǎng)絡(luò)系統(tǒng)正確實(shí)現(xiàn)，否則，則 表明系統(tǒng)中存在故障。
【專利摘要】基于Wp測(cè)試用例約簡集的無線傳感器網(wǎng)絡(luò)系統(tǒng)測(cè)試方法屬于無線傳感器網(wǎng)絡(luò)系統(tǒng)的通信協(xié)議設(shè)計(jì)驗(yàn)證和系統(tǒng)測(cè)試。其特征在于，依次含有以下步驟：利用Wp方法處理計(jì)算機(jī)仿真系統(tǒng)有限狀態(tài)機(jī)模型M1生成測(cè)試用例集、為模型M1構(gòu)造覆蓋需求集、利用集合覆蓋貪心算法對(duì)模型M1生成的測(cè)試用例集進(jìn)行約簡得到約簡集、根據(jù)無線傳感器網(wǎng)絡(luò)系統(tǒng)描述所述系統(tǒng)有限狀態(tài)機(jī)模型M2、利用Wp方法處理模型M2生成測(cè)試用例集、為模型M2構(gòu)造覆蓋需求集、利用集合覆蓋貪心算法對(duì)模型M2生成的測(cè)試用例集進(jìn)行約簡得到約簡集、利用模型M2的測(cè)試用例約簡集，進(jìn)行系統(tǒng)測(cè)試。本發(fā)明與傳統(tǒng)的所述系統(tǒng)測(cè)試相比，測(cè)試用例集規(guī)模小，檢測(cè)能力強(qiáng)，實(shí)際系統(tǒng)測(cè)試效率高。
【IPC分類】G06F11-36, H04L1-24, G06F17-50
【公開號(hào)】CN104572458
【申請(qǐng)?zhí)枴緾N201410843291
【發(fā)明人】張建標(biāo), 劉紅宇, 崔玲, 楊宇澤, 艾蓉
【申請(qǐng)人】北京工業(yè)大學(xué)
【公開日】2015年4月29日
【申請(qǐng)日】2014年12月30日