[發(fā)明專利]一種無線傳感器代碼檢測的方法

有效

• 申請?zhí)枺?/td>: 201310317348.9
• 申請日: 2013-07-25
• 公開（公告）號: CN103336743A
• 公開（公告）日: 2013-10-02
• 發(fā)明（設(shè)計）人: 劉云浩;連朔;趙季中;何源;王繼良
• 申請（專利權(quán)）人: 清華大學(xué)
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 北京路浩知識產(chǎn)權(quán)代理有限公司 11002
• 代理人: 王瑩

1.一種無線傳感器代碼檢測的方法，其特征在于，包括：

在待測代碼中插入初始化檢測代碼，構(gòu)成初始化后的代碼；

將所述初始化后的代碼通過編譯鏈生成一個虛擬可執(zhí)行文件；

用模擬器載入所述虛擬可執(zhí)行文件和虛擬網(wǎng)絡(luò)配置文件，生成虛擬狀態(tài)空間；

在所述虛擬狀態(tài)空間中用隨機行走算法進行代碼檢測，如果出現(xiàn)錯誤，輸出錯誤信息。

2.根據(jù)權(quán)利要求1所述的方法，其特征在于，該方法進一步包括：設(shè)置虛擬空間庫，并在虛擬空間庫中設(shè)置不同屬性分別對應(yīng)的初始化檢測代碼；

所述插入初始化檢測代碼之前，進一步包括從虛擬空間庫中提取出所述待測代碼的屬性對應(yīng)的初始化檢測代碼。

3.根據(jù)權(quán)利要求1所述的方法，其特征在于，所述將所述初始化后的代碼通過編譯鏈生成一個虛擬可執(zhí)行文件，包括：

將所述初始化后的代碼通過nesc編譯器編譯成c文件；

將所述c文件通過本地編譯連接包裝成一個虛擬可執(zhí)行文件。

4.根據(jù)權(quán)利要求1所述的方法，其特征在于，該方法進一步包括：根據(jù)實際網(wǎng)絡(luò)環(huán)境生成并更新所述虛擬網(wǎng)絡(luò)配置文件，所述虛擬網(wǎng)絡(luò)配置文件包括節(jié)點的id、節(jié)點的數(shù)量、網(wǎng)絡(luò)拓撲結(jié)構(gòu)。

5.根據(jù)權(quán)利要求1所述的方法，其特征在于，

所述在待測代碼中插入初始化檢測代碼之前，進一步包括提取出所述待測代碼的屬性的取值范圍；

所述在所述虛擬狀態(tài)空間中用隨機行走算法進行代碼檢測，如果出現(xiàn)錯誤，輸出錯誤信息，包括：

S1：在所述虛擬狀態(tài)空間中用深度優(yōu)先搜索算法搜索下一步可執(zhí)行的事件，當(dāng)搜索到可執(zhí)行的事件后，將搜索到的事件放入準備狀態(tài)空間集合中并更新準備狀態(tài)空間集合，從準備狀態(tài)空間集合中隨機選取一個事件執(zhí)行，進入下一個狀態(tài)；

S2：進入一個狀態(tài)后，當(dāng)?shù)竭_預(yù)先設(shè)置的檢測位置時，判斷待測代碼的屬性值是否在所述待測代碼的屬性的取值范圍之內(nèi)，如果不在，輸出錯誤信息檢測結(jié)果，如果到達停止檢測條件，則結(jié)束當(dāng)前流程，否則返回步驟S1。

6.根據(jù)權(quán)利要求5所述的方法，其特征在于，所述判斷待測代碼的屬性值是否在所述待測代碼的屬性的取值范圍之內(nèi)包括：

判斷待測代碼的屬性值在預(yù)先設(shè)定的時長內(nèi)是否均不在所述待測代碼的屬性的取值范圍之內(nèi)；

所述錯誤信息檢測結(jié)果包括：出錯的節(jié)點的id，出錯的事件的路徑。

7.根據(jù)權(quán)利要求5所述的方法，其特征在于，所述在所述虛擬狀態(tài)空間中搜索下一步可執(zhí)行事件之前，進一步包括設(shè)置最大步長；

所述停止檢測條件包括：

執(zhí)行的事件達到所述最大步長；或

已經(jīng)遍歷了所有的狀態(tài)。

8.根據(jù)權(quán)利要求1所述的方法，其特征在于，所述隨機行走算法遵循的規(guī)則包括：

相同節(jié)點的轉(zhuǎn)移狀態(tài)總是相關(guān)的；

不同節(jié)點中的非事件對的轉(zhuǎn)移狀態(tài)是相互獨立的；

事件對的轉(zhuǎn)移狀態(tài)是相關(guān)的。