作　　者： ; ; ;

机构地区： 西北工业大学计算机学院

出　　处： 《计算机工程》 2004年第23期9-11,共3页

摘　　要： 目前国内外学者在软件理解的研究上多注重于程序的词法层和语法层技术的探索,相应的有程序切片、程序类跟踪、程序依赖性分析、反汇编与反编译等方法。但对程序的语义层理解方法进行研究的甚少。该文正是基于上述分析研究了一种软件理解新方法——形式化格局识别技术,以行为层状结构的变换来表述程序的语义,进而采用近人类的思维方式来理解并抽取软件的设计决策与体系结构。 At present interior and overseas many researchers concern software comprehension research on the technology exploration to accidence layer and syntax layer, such as program slice, program class track, program dependence analysis, compilation and decompilation. However, few research approach is aimed to for the plan recognizing program's comprehension. A new approach of software comprehension is developed based on anterior analysis in the paper. The program semantic is described with the structural transformation in form in layer in behavior, Then it adopts the near human thought method to carry on software comprehension and take out software design decision.

关 键 词： 语义层 软件 程序切片 反编译 依赖性分析 形式化 识别技术 理解方法 格局 水平

领　　域： [自动化与计算机技术] [自动化与计算机技术] [自动化与计算机技术] [自动化与计算机技术]