通過復用已有的開源代碼或內(nèi)部遺留代碼,可極大地提高軟件開發(fā)效率、降低開發(fā)成本,而準確地搜索到所需代碼是代碼復用的前提和基礎(chǔ)。當前基于"輸入/輸出"語義匹配的代碼搜索方法解決了關(guān)鍵字搜索中因為語義歧義存在代碼搜索準確度不高的問題,但僅僅考慮了順序結(jié)構(gòu)代碼的處理。在已有工作基礎(chǔ)上,重點關(guān)注分支結(jié)構(gòu)代碼的基于"輸入/輸出"匹配的語義搜索方法。首先給出不同分支結(jié)構(gòu)的語法定義及形式化描述。其次,定義分支結(jié)構(gòu)到順序結(jié)構(gòu)的語法轉(zhuǎn)化規(guī)則、語義上的約束轉(zhuǎn)換規(guī)則,以及轉(zhuǎn)換過程的語義等價性證明。最后給出上述語法轉(zhuǎn)換的實現(xiàn)算法。理論分析及實例表明,該方法是合理、可行的,將為代碼搜索提供方法指導。

【文章頁數(shù)】：6 頁

【文章目錄】：
1 引 言
2 基于約束規(guī)則匹配的代碼搜索方法
3 分支結(jié)構(gòu)的約束轉(zhuǎn)換規(guī)則及語義證明
    3.1 分支結(jié)構(gòu)分類及描述
    3.2 轉(zhuǎn)換規(guī)則的語法定義及描述
    3.3 轉(zhuǎn)換規(guī)則的語義描述及正確性證明
        3.3.1 雙分支結(jié)構(gòu)
        3.3.2 多分支結(jié)構(gòu)
        3.3.3 嵌套分支結(jié)構(gòu)
4 分支結(jié)構(gòu)的約束轉(zhuǎn)換規(guī)則實現(xiàn)算法
5 總 結(jié)



本文編號：3806717