作者：王万诚; 李伟华; 陈昊鹏语义层软件程序切片反编译依赖性分析形式化识别技术理解方法格局水平
摘要：目前国内外学者在软件理解的研究上多注重于程序的词法层和语法层技术的探索,相应的有程序切片、程序类跟踪、程序依赖性分析、反汇编与反编译等方法.但对程序的语义层理解方法进行研究的甚少.该文正是基于上述分析研究了一种软件理解新方法--形式化格局识别技术,以行为层状结构的变换来表述程序的语义,进而采用近人类的思维方式来理解并抽取软件的设计决策与体系结构.
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
