[發明專利]基于Wp的無線傳感器網絡系統測試方法及裝置有效
| 申請號： | 202010583596.8 | 申請日： | 2020-06-23 |
| 公開（公告）號： | CN111935764B | 公開（公告）日： | 2023-05-12 |
| 發明（設計）人： | 張建標;崔玲 | 申請（專利權）人： | 北京工業大學 |
| 主分類號： | H04W24/06 | 分類號： | H04W24/06;H04W84/18 |
| 代理公司： | 北京路浩知識產權代理有限公司 11002 | 代理人： | 楊云云 |
| 地址： | 100022 *** | 國省代碼： | 北京;11 |
| 權利要求書： | 查看更多 | 說明書： | 查看更多 |
| 摘要： | |||
| 搜索關鍵詞： | 基于 wp 無線 傳感器 網絡 系統 測試 方法 裝置 | ||
1.一種基于Wp的無線傳感器網絡系統測試方法，用于植物生長環境監測的無線傳感器網絡系統，其特征在于，包括：
根據植物生長環境監測的無線傳感器網絡系統確定無線傳感器網絡系統的有限狀態機模型；
計算所述有限狀態機模型中所有狀態的等價特征集、轉換覆蓋集以及狀態覆蓋集；
將狀態覆蓋集和等價特征集輸入第一測試序列集模型，得到第一測試序列集；
將輸入序列集和等價特征集輸入第二測試序列集模型，得到第二測試序列集；其中，所述輸入序列集是所有屬于轉換覆蓋集但不屬于狀態覆蓋集的輸入序列的集合；
合并第一測試序列集以及第二測試序列集，得到無線傳感器網絡系統的測試序列集；
根據所述無線傳感器網絡系統的測試序列集，對植物生長環境監測的無線傳感器網絡系統進行缺陷檢測；
所述有限狀態機模型具體為：
M＝(Q，X，Y，q0，δ，O)；
其中，M表示無線傳感器網絡系統的有限狀態機模型，Q表示有限個狀態的集合，X表示有限的輸入符號集合，Y表示有限的輸出符號集合，q0表示有限狀態機模型的初始狀態，δ表示狀態轉換函數，δ：Q×X→Q，O表示輸出函數，O：Q×X→O；
所述計算所述有限狀態機模型中所有狀態的等價特征集、轉換覆蓋集以及狀態覆蓋集，具體包括：
根據所述有限狀態機模型，定義有限狀態機模型狀態qi的等價特征集為：
其中，Wi表示狀態qi等價特征集，n＝|Q|，1≤i≤n，sij是qi的區分串，sij是qj的區分串；
根據狀態轉換函數δ，獲取所有路徑的輸入字符串集合，構成轉換覆蓋集為P；
根據狀態轉換函數δ，獲取任一路徑的輸入字符串集合，構成狀態覆蓋集S；
所述第一測試序列集模型具體為：
其中，T1表示第一測試序列集，S表示狀態覆蓋集，ψ表示M的所有等價特征集組成的集合，X表示有限機狀態模型的輸入符號集合，m表示待測系統的狀態數，n表示有限狀態機模型的狀態數；
所述第二測試序列集模型具體為：
其中，T2表示第二測試序列集，R表示輸入序列集，ψ表示M的所有等價特征集組成的集合，X表示有限機狀態模型的輸入符號集合，m表示待測系統的狀態數，n表示有限狀態機模型的狀態數。
2.根據權利要求1所述的基于Wp的無線傳感器網絡系統測試方法，其特征在于，所述合并第一測試序列集以及第二測試序列集，得到無線傳感器網絡系統的測試序列集，具體包括：
合并第一測試序列集T1以及第二測試序列集T2，得到無線傳感器網絡系統的測試序列集T＝T1∪T2。
該專利技術資料僅供研究查看技術是否侵權等信息，商用須獲得專利權人授權。該專利全部權利屬于北京工業大學，未經北京工業大學許可，擅自商用是侵權行為。如果您想購買此專利、獲得商業授權和技術合作，請聯系【客服】
本文鏈接：http://www.szxzyx.cn/pat/books/202010583596.8/1.html，轉載請聲明來源鉆瓜專利網。
