[發明專利]一種基于路徑執行頻率的單過程程序靜態切片方法及系統

有效

• 申請號: 201711453574.4
• 申請日: 2017-12-28
• 公開（公告）號: CN108304317B
• 公開（公告）日: 2021-01-05
• 發明（設計）人: 王璐璐;李必信;廖力;周穎;孔祥龍
• 申請（專利權）人: 東南大學
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 南京經緯專利商標代理有限公司 32200
• 代理人: 朱小兵

1.一種基于路徑執行頻率的單過程程序靜態切片方法，其特征在于，通過路徑頻率對程序內部的依賴關系進行加權，以區分依賴關系的強弱來獲得靜態切片；該方法包括如下步驟：

步驟1）、通過靜態分析程序源碼獲知單過程程序P中每個節點N_i，及N_i的定義變量集合{d_i}、使用變量集合{u_i}；

步驟2）、采用靜態程序分析技術從程序P的內部結構中分析依賴關系，構建程序依賴圖；

步驟3）、通過反復多次執行程序P，獲得各條執行路徑path_i及其頻率freq_i，其中path_i由節點的序列所構成，freq_i是路徑path_i的執行次數在所有執行次數中的占比；

步驟4）、通過各條執行路徑path_i及其頻率freq_i對程序依賴圖進行優化，獲得依賴關系加權后的加權依賴圖，依賴關系權重計算方法為：

；

其中dep_a,b是任意的控制依賴Cdep_a,b或數據依賴Ddep_a,b；

步驟5）、在所述步驟4）中計算得到的加權依賴圖基礎上，對于給定的切片準則N_c，按照依賴關系傳遞的方式，迭代計算與N_c相關的節點集合{N_slice}及權重，其中切片節點權重計算方法為：

最終獲得加權切片slice。