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

在審

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

呈現了一種基于轉換成有限狀態機的與軟件代碼交互的機制。呈現了當前正在審查的經轉換的代碼的狀態以及其他相關狀態。相關的狀態可以是饋送入當前正在審查的經轉換的代碼的狀態、或者可以遵循處理流程中的那些狀態的狀態?？梢栽谙嚓P狀態與當前正在審查的經轉換的代碼的狀態結合呈現時對相關狀態進行用戶編輯，并且相應地更新對應的代碼。當前正在審查的經轉換的代碼的狀態以及對應的相關狀態可以被動態地更新以反映實際的代碼執行。

技術領域

本發明涉及軟件代碼處理，尤其涉及軟件代碼的審查和編輯。

背景技術

隨著時間的推移，與用于運行結果代碼的計算機系統的發展同步，與軟件代碼編輯相關聯的工具和方法也在發展。在打卡時代，程序是在紙上開發的，隨著終端的可用性，在計算環境中直接開發軟件變得可行。此后，編程主要圍繞編輯基于文本的代碼(在通用文本編輯軟件中)進行，或者隨時間而更多地在專用集成開發環境中，通常提供用于編譯和調試代碼的附加工具。某些環境支持可視編碼，其中用戶可以通過操縱某些計算機生成的空間中的代碼實體的圖形表示來編輯代碼。基于文本的和可視化編程環境都傾向于使用圍繞多個模塊構建的結構來呈現代碼，每個模塊中的元素以以下順序來呈現：它們將服從模塊內的任何循環和分叉來被執行。

希望提供用于審查軟件代碼的改進的工具，尤其是促進通過代碼跟蹤執行。

發明內容

根據本發明的第一方面，提供了一種用于處理軟件代碼的裝置，所述裝置包括：代碼轉變器，其適于將所述代碼的表示準備為有限狀態機；

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

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

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

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

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

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

在第一方面的發展中，所述裝置可以進一步適于接收指定所述次級狀態是否應當包括所述有限狀態機的所有狀態的用戶輸入，所述有限狀態機的所有狀態包括引導至所述選擇的狀態的轉變、或相反所述有限狀態機的所有狀態包括從所述選擇的狀態引導出的轉變；并且適于相應地刷新所述文本表示。

在第一方面的發展中，所述裝置還可以適于接收指定所述有限狀態機的哪個狀態將構成所述選擇的狀態的用戶輸入。

在第一方面的發展中，所述裝置還可以適于接收指定對所述文本表示的一部分的修改的用戶輸入，以

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

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

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

在第一方面的發展中，所述裝置還可以適于選擇一個或多個次級狀態作為擴展次級狀態，其中所述有限狀態機的其他狀態在它們是包括引導至所述擴展的次級狀態的轉變的所述有限狀態機的狀態、或它們是包括從所述擴展的次級狀態引導出的轉變的所述有限狀態機的狀態的情況下被選擇用于顯示為次級狀態。

在第一方面的發展中，所述裝置還可以適于選擇所述有限狀態機的一個或多個狀態以進行顯示，其中所述選擇的狀態位于當前執行流程內。

根據本發明的第二方面，提供了一種處理軟件代碼的方法，所述方法包括以下步驟：

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