[發明專利]一種應用層通信協議的狀態轉換序列生成方法

有效

• 申請號: 201811332438.4
• 申請日: 2018-11-09
• 公開（公告）號: CN109446146B
• 公開（公告）日: 2022-02-08
• 發明（設計）人: 王俊杰;陳媛;王安邦;劉邏;哈清華;宋元章;王紅園;李洪雨;林星辰
• 申請（專利權）人: 中國科學院長春光學精密機械與物理研究所
• 主分類號: G06F13/42
• 分類號: G06F13/42;H04L69/08
• 代理公司: 北京集佳知識產權代理有限公司 11227
• 代理人: 羅滿

1.一種應用層通信協議的狀態轉換序列生成方法，應用于基于串行接口進行通信的系統，其特征在于，包括：

響應于生成狀態轉換序列的指令，對基于串行接口進行通信的系統的應用層通信協議進行分析，確定所述系統的狀態轉換關系；

根據所述狀態轉換關系，生成狀態轉換圖；

遍歷所述狀態轉換圖，確定從起始狀態節點到終止狀態節點的多個路徑；

根據各個所述路徑，生成多個狀態轉換序列；

所述響應于生成狀態轉換序列的指令，對基于串行接口進行通信的系統的應用層通信協議進行分析，確定所述系統的狀態轉換關系，包括：

響應于生成狀態轉換序列的指令，對基于串行接口進行通信的系統的應用層通信協議進行分析，確定滿足所述應用層通信協議的數據包中的目標數據元素；

根據所述目標數據元素的不同取值，確定所述系統的狀態轉換關系；

在所述遍歷所述狀態轉換圖，確定從起始狀態節點到終止狀態節點的多個路徑之前，還包括：

判斷所述狀態轉換圖是否包括終止狀態節點；

若所述狀態轉換圖不包括終止狀態節點，則從所述狀態轉換圖中的目標狀態節點拆分出終止狀態節點，其中，所述目標狀態節點為既作為起點又作為終點的狀態節點。

2.如權利要求1所述的方法，其特征在于，所述遍歷所述狀態轉換圖，確定從起始狀態節點到終止狀態節點的多個路徑，包括：

以所述狀態轉換圖中的起始狀態節點為根節點，將所述狀態轉換圖轉換為狀態樹；

遍歷所述狀態樹，確定從起始狀態節點到終止狀態節點的多個路徑。

3.如權利要求2所述的方法，其特征在于，在所述根據各個所述路徑，生成多個狀態轉換序列之后，包括：

獲取所述應用層通信協議的數據元素約束關系；

根據所述數據元素約束關系，對所述狀態轉換序列進行調整。

4.如權利要求1-3任意一項所述的方法，其特征在于，所述若所述狀態轉換圖不包括終止狀態節點，則從所述狀態轉換圖中的目標狀態節點拆分出終止狀態節點，其中，所述目標狀態節點為既作為起點又作為終點的狀態節點，包括：

若所述狀態轉換圖不包括終止狀態節點，則確定在所述狀態轉換圖中與起始狀態節點之間狀態節點數量最少的目標狀態節點，其中，所述目標狀態節點為既作為起點又作為終點的狀態節點；

從所述目標狀態節點拆分出終止狀態節點。

5.一種應用層通信協議的狀態轉換序列生成裝置，應用于基于串行接口進行通信的系統，其特征在于，包括：

狀態轉換關系確定模塊：用于響應于生成狀態轉換序列的指令，對基于串行接口進行通信的系統的應用層通信協議進行分析，確定所述系統的狀態轉換關系；

狀態轉換圖生成模塊：用于根據所述狀態轉換關系，生成狀態轉換圖；

路徑確定模塊：用于遍歷所述狀態轉換圖，確定從起始狀態節點到終止狀態節點的多個路徑；

狀態轉換序列生成模塊：用于根據各個所述路徑，生成多個狀態轉換序列；

所述狀態轉換關系確定模塊包括：

目標數據元素確定單元：用于響應于生成狀態轉換序列的指令，對基于串行接口進行通信的系統的應用層通信協議進行分析，確定滿足所述應用層通信協議的數據包中的目標數據元素；

狀態轉換關系確定單元：用于根據所述目標數據元素的不同取值，確定所述系統的狀態轉換關系；

在所述路徑確定模塊之前，還包括：

判斷模塊：用于判斷所述狀態轉換圖是否包括終止狀態節點；

拆分模塊：用于若所述狀態轉換圖不包括終止狀態節點，則從所述狀態轉換圖中的目標狀態節點拆分出終止狀態節點，其中，所述目標狀態節點為既作為起點又作為終點的狀態節點。

6.一種應用層通信協議的狀態轉換序列生成設備，應用于基于串行接口進行通信的系統，其特征在于，包括:

存儲器：用于存儲計算機程序；

處理器：用于執行所述計算機程序以實現如權利要求1-4任意一項所述的一種應用層通信協議的狀態轉換序列生成方法的步驟。

7.一種計算機可讀存儲介質，其特征在于，所述計算機可讀存儲介質上存儲有計算機程序，所述計算機程序被處理器執行時實現如權利要求1-4任意一項所述的一種應用層通信協議的狀態轉換序列生成方法的步驟。