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

Formal Plan Recognizing Technique Based on Semantic Layer Software Comprehension

作　　者：王万诚[1] 李伟华[1] 陈昊鹏[1] 

机构地区：[1]西北工业大学计算机学院,西安710072

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

基　　金：国家"863"计划基金资助项目(2003AA142060);陕西省自然科学基金资助项目(2001X22)

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

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论] TP312[自动化与计算机技术—计算机科学与技术]