基于语义层软件理解的形式化格局识别技术

摘要：

目前国内外学者在软件理解的研究上多注重于程序的词法层和语法层技术的探索,相应的有程序切片、程序类跟踪、程序依赖性分析、反汇编与反编译等方法.但对程序的语义层理解方法进行研究的甚少.该文正是基于上述分析研究了一种软件理解新方法--形式化格局识别技术,以行为层状结构的变换来表述程序的语义,进而采用近人类的思维方式来理解并抽取软件的设计决策与体系结构.

关键词：软件逆向工程、形式化格局识别、形式化方法、语义层理解

所属期刊栏目：30

分类号：TP311(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划2003AA142060;陕西省自然科学基金2001X22

在线出版日期：2005-01-20（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：9-11