浙江大学学报(工学版)
浙江大學學報(工學版)
절강대학학보(공학판)
JOURNAL OF ZHEJIANG UNIVERSITY (ENGINEERING SCIENCE)
2008年
12期
2108-2111,2132
,共5页
陈华%王灿%陈纯%唐文彬%钱剑飞
陳華%王燦%陳純%唐文彬%錢劍飛
진화%왕찬%진순%당문빈%전검비
程序理解%概率有限自动机%信息检索%软件工程
程序理解%概率有限自動機%信息檢索%軟件工程
정서리해%개솔유한자동궤%신식검색%연건공정
为提高基于信息检索的程序理解方法的准确性,提出了一种结合信息检索和概率状态机的两阶段程序理解方法.在该方法中使用概率有限自动机(probabilistic finite-state automata,PFA)解决了信息检索结果在程序理解中的不确定性,同时采用信息检索构建了多个简单的PFA,而不是单个复杂的PFA,提高了PFA分析的伸缩性.训练阶段先采用隐式语义分析对源代码进行聚类,然后在聚类结果上生成PFA.在识别阶段以词法处理后的程序作为检索项在程序模板库中进行信息检索,取检索结果中的最相关的n项作为候选模板,由候选模板对应得到相应的PFA,通过分析找到最大概率的PFA,完成对源码内容的语义标注.
為提高基于信息檢索的程序理解方法的準確性,提齣瞭一種結閤信息檢索和概率狀態機的兩階段程序理解方法.在該方法中使用概率有限自動機(probabilistic finite-state automata,PFA)解決瞭信息檢索結果在程序理解中的不確定性,同時採用信息檢索構建瞭多箇簡單的PFA,而不是單箇複雜的PFA,提高瞭PFA分析的伸縮性.訓練階段先採用隱式語義分析對源代碼進行聚類,然後在聚類結果上生成PFA.在識彆階段以詞法處理後的程序作為檢索項在程序模闆庫中進行信息檢索,取檢索結果中的最相關的n項作為候選模闆,由候選模闆對應得到相應的PFA,通過分析找到最大概率的PFA,完成對源碼內容的語義標註.
위제고기우신식검색적정서리해방법적준학성,제출료일충결합신식검색화개솔상태궤적량계단정서리해방법.재해방법중사용개솔유한자동궤(probabilistic finite-state automata,PFA)해결료신식검색결과재정서리해중적불학정성,동시채용신식검색구건료다개간단적PFA,이불시단개복잡적PFA,제고료PFA분석적신축성.훈련계단선채용은식어의분석대원대마진행취류,연후재취류결과상생성PFA.재식별계단이사법처리후적정서작위검색항재정서모판고중진행신식검색,취검색결과중적최상관적n항작위후선모판,유후선모판대응득도상응적PFA,통과분석조도최대개솔적PFA,완성대원마내용적어의표주.