摘要： 目前国内外学者在软件理解的研究上多注重于程序的词法层和语法层技术的探索,相应的有程序切片、程序类跟踪、程序依赖性分析、反汇编与反编译等方法。但对程序的语义层理解方法进行研究的甚少。该文正是基于上述分析研究了一种软件理解新方法——形式化格局识别技术,以行为层状结构的变换来表述程序的语义,进而采用近人类的思维方式来理解并抽取软件的设计决策与体系结构。
关键词:
软件逆向工程,
形式化格局识别,
形式化方法,
语义层理解
Abstract: 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.
中图分类号:
王万诚,李伟华,陈昊鹏. 基于语义层软件理解的形式化格局识别技术[J]. , 2004, 30(23): 17-19.
WANG Wancheng, LI Weihua, CHEN Haopeng. Formal Plan Recognizing Technique Based on Semantic Layer Software Comprehension[J]. , 2004, 30(23): 17-19.