[發明專利]基于Wp的無線傳感器網絡系統測試方法及裝置

有效

• 申請號: 202010583596.8
• 申請日: 2020-06-23
• 公開（公告）號: CN111935764B
• 公開（公告）日: 2023-05-12
• 發明（設計）人: 張建標;崔玲
• 申請（專利權）人: 北京工業大學
• 主分類號: H04W24/06
• 分類號: H04W24/06;H04W84/18
• 代理公司: 北京路浩知識產權代理有限公司 11002
• 代理人: 楊云云

本發明實施例提供一種基于Wp的無線傳感器網絡系統測試方法及裝置，所述方法包括：通過用于植物生長環境監測的無線傳感器網絡系統描述得到的有限狀態機模型，計算有限狀態機模型中所有狀態的等價特征集、轉換覆蓋集以及狀態覆蓋集，并根據第一測試序列模型和第二測試序列集模型分別得到第一測試序列集和第二測試序列集，合并第一測試序列集以及第二測試序列集，得到無線傳感器網絡系統的測試序列集，從而對無線傳感器網絡系統進行缺陷檢測。本發明實施例得到的無線傳感器網絡系統的測試序列集不僅規模較小，而且可以準確檢測出用于植物生長環境監測的無線傳感器網絡系統缺陷。

技術領域

本發明涉及軟件系統測試技術領域，尤其涉及一種基于Wp的無線傳感器網絡系統測試方法及裝置。

背景技術

無線傳感器網絡是由部署在監測區域內部或附近的大量廉價的、具有通信、感測及計算能力的微型傳感器節點組成，通過無線通信方式形成的一個多跳的自組織的網絡系統，其目的是協作感知、采集和處理網絡覆蓋區域中被感知對象的信息，并發送給觀察者。其中，無線傳感器網絡系統可以應用于植物生長環境的監測，但無線傳感器網絡系統在開發部署過程中，相關人員由于自身的局限性并沒有完全理解協議規則或者軟件及硬件環境的不兼容等因素，都會使系統出現問題，所以需要對無線傳感器網絡系統進行全面可靠的測試以及發現系統缺陷。

基于有限狀態機模型的一致性測試是一種黑盒測試，其目的是檢查運行通信協議的系統與協議標準的符合程度。有限狀態機(Finite?State?Machine，以下簡稱“FSM”)是表示有限個狀態及狀態之間的轉移和動作等行為的數學模型。用FSM模型描述系統設計規范，是一種模擬系統基于狀態的行為的簡易方法。在實際應用中，常常應用確定性有限狀態機來描述系統行為。確定性有限狀態機，即對于給定的一個狀態，它能根據事先給定的狀態轉移函數轉移到下一個確定的狀態。

現有技術中，用于植物生長環境監測的無線傳感器網絡系統的測試方法包括測試生成算法W或者Wp，其中W方法生成的測試序列集規模較大，降低了測試效率；而Wp方法生成的測試序列集規模雖然較W方法小，但對于實際測試工作來說仍然較大。

因此，如何提出一種方法，能夠降低用于植物生長環境監測的無線傳感器網絡系統測試用的測試序列集規模，提高測試效率，成為亟待解決的問題。

發明內容

針對現有技術中的缺陷，本發明實施例提供一種基于Wp的無線傳感器網絡系統測試方法及裝置。

第一方面，本發明實施例提供一種基于Wp的無線傳感器網絡系統測試方法，用于植物生長環境監測的無線傳感器網絡系統，包括：

根據植物生長環境監測的無線傳感器網絡系統確定無線傳感器網絡系統的有限狀態機模型；

計算所述有限狀態機模型中所有狀態的等價特征集、轉換覆蓋集以及狀態覆蓋集；

將狀態覆蓋集和等價特征集輸入第一測試序列集模型，得到第一測試序列集；

將輸入序列集和等價特征集輸入第二測試序列集模型，得到第二測試序列集；其中，所述輸入序列集是所有屬于轉換覆蓋集但不屬于狀態覆蓋集的輸入序列的集合；

合并第一測試序列集以及第二測試序列集，得到無線傳感器網絡系統的測試序列集；

根據所述無線傳感器網絡系統的測試序列集，對植物生長環境監測的無線傳感器網絡系統進行缺陷檢測。

優選地，所述有限狀態機模型具體為：

M＝(Q，X，Y，q₀，δ，O)；

其中，M表示無線傳感器網絡系統的有限狀態機模型，Q表示有限個狀態的集合，X表示有限的輸入符號集合，Y表示有限的輸出符號集合，q₀表示有限狀態機模型的初始狀態，δ表示狀態轉換函數，δ：Q×X→Q，O表示輸出函數，O：Q×X→O。