计算机应用与软件
計算機應用與軟件
계산궤응용여연건
COMPUTER APPLICATIONS AND SOFTWARE
2007年
11期
92-94
,共3页
钱剑飞%何钦铭%陈华%俞瑞钊
錢劍飛%何欽銘%陳華%俞瑞釗
전검비%하흠명%진화%유서쇠
程序理解%特征符号%穷尽式搜索
程序理解%特徵符號%窮儘式搜索
정서리해%특정부호%궁진식수색
所有基于Plan的自动程序理解工具都采用把源码段跟标准Plan库中标准Plan相比较的方法来得到源码语义信息,从而达到程序理解的目标.通过分析、提取Plan中的特征符号,以特征符号作为Plan检索索引项,建立带特征信息Plan库,以达到快速匹配的目标,从而降低自下而上自动程序理解中因需要穷尽式搜索而带来的搜索强度.
所有基于Plan的自動程序理解工具都採用把源碼段跟標準Plan庫中標準Plan相比較的方法來得到源碼語義信息,從而達到程序理解的目標.通過分析、提取Plan中的特徵符號,以特徵符號作為Plan檢索索引項,建立帶特徵信息Plan庫,以達到快速匹配的目標,從而降低自下而上自動程序理解中因需要窮儘式搜索而帶來的搜索彊度.
소유기우Plan적자동정서리해공구도채용파원마단근표준Plan고중표준Plan상비교적방법래득도원마어의신식,종이체도정서리해적목표.통과분석、제취Plan중적특정부호,이특정부호작위Plan검색색인항,건립대특정신식Plan고,이체도쾌속필배적목표,종이강저자하이상자동정서리해중인수요궁진식수색이대래적수색강도.
