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

【文章頁數(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ī)則實(shí)現(xiàn)算法
5 總 結(jié)



本文編號(hào)：3806717