[發明專利]用于處理軟件代碼的方法和裝置

在審

• 申請號: 201711396909.3
• 申請日: 2017-12-21
• 公開（公告）號: CN108334320A
• 公開（公告）日: 2018-07-27
• 發明（設計）人: S·孔韋爾西
• 申請（專利權）人: 國立民用航空學院
• 主分類號: G06F8/33
• 分類號: G06F8/33;G06F8/34
• 代理公司: 永新專利商標代理有限公司 72002
• 代理人: 劉瑜;王英

1.一種用于處理軟件代碼的裝置，所述裝置包括：

代碼轉換器，其適于將所述代碼的表示準備為有限狀態機；

初級狀態選擇器，其適于選擇所述有限狀態機的一個或多個狀態以進行顯示；

次級狀態選擇器，其適于針對所述選擇的初級狀態而識別次級狀態，其中

所有所述次級狀態是包括引導至所述選擇的狀態的轉變的所述有限狀態機的狀態，或者

所有所述次級狀態是包括從所述選擇的狀態引導出的轉變的所述有限狀態機的狀態，或者

所述狀態屬于在由所述裝置接收的用戶輸入中指定的、通過所述有限狀態機的一系列選擇的狀態的有效序列；以及

表示處理器，其適于使得呈現將所述選擇的狀態的文本表示與所述次級狀態的文本表示集成的文本表示。

2.根據權利要求1所述的裝置，所述裝置還適于接收指定所述次級狀態是否應當包括所述有限狀態機的所有狀態的用戶輸入，所述有限狀態機的所有狀態包括引導至所述選擇的狀態的轉變、或相反所述有限狀態機的所有狀態包括從所述選擇的狀態引導出的轉變；并且適于相應地刷新所述文本表示。

3.根據權利要求1或2所述的裝置，所述裝置還適于接收指定所述有限狀態機的哪個狀態將構成所述選擇的狀態的用戶輸入。

4.根據前述權利要求中任一項所述的裝置，所述裝置適于接收指定對所述文本表示的一部分的修改的用戶輸入，以

識別對應于所述修改的修改的狀態，

識別對應于所述修改的狀態的修改的代碼，以及

更新所述修改的代碼以反映所述修改。

5.根據前述權利要求中任一項所述的裝置，所述裝置適于選擇一個或多個所述次級狀態作為擴展的次級狀態，其中所述有限狀態機的其他狀態在它們是包括引導至所述擴展的次級狀態的轉變的所述有限狀態機的狀態、或者是包括從所述擴展的次級狀態引導出的轉變的所述有限狀態機的狀態的情況下被選擇用于顯示為次級狀態。

6.根據前述權利要求中任一項所述的裝置，所述裝置適于選擇所述有限狀態機的一個或多個狀態以進行顯示，其中，所述選擇的狀態位于當前執行流程內。

7.一種處理軟件代碼的方法，所述方法包括以下步驟：

將所述代碼的表示準備為有限狀態機；

選擇所述有限狀態機的一個或多個狀態以進行顯示；

針對所述選擇的狀態中的每個狀態，識別次級狀態，其中

所有所述次級狀態是包括引導至所述選擇的狀態的轉變的所述有限狀態機的狀態，或者

所有所述次級狀態是包括從所述選擇的狀態引導出的轉變的所述有限狀態機的狀態，或者

接收指定通過所述有限狀態機的一系列選擇的狀態的有效序列的用戶輸入；以及

呈現將所述選擇的狀態的文本表示與所述次級狀態的文本表示進行集成的文本表示。

8.根據權利要求7所述的方法，包括接收指定所述次級狀態是否應當包括所述有限狀態機的所有狀態的用戶輸入的附加步驟，所述有限狀態機的所有狀態包括引導至所述選擇的狀態的轉變、或相反所述有限狀態機的所有狀態包括從所述選擇的狀態引導出的轉變；并且相應地刷新所述文本表示。

9.根據權利要求7至8中任一項所述的方法，包括接收指定所述有限狀態機的哪個狀態將構成所述選擇的狀態的用戶輸入的附加步驟。

10.根據權利要求7至9中任一項所述的方法，包括接收指定對所述文本表示的一部分的修改的用戶輸入的附加步驟：

識別對應于所述修改的修改的狀態，

識別對應于所述修改的狀態的修改的代碼，以及

更新所述修改的代碼以反映所述修改。