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

• 作者: 李伟华 王万诚 陈昊鹏
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 软件逆向工程 形式化格局识别 形式化方法 语义层理解
• 年，卷（期）: 2004,（23）
• 所属期刊栏目: 博士论文
• 页码范围: 9-11
• 页数: 3页
• 分类号: TP311
• 字数: 3618字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2004.23.004

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李伟华	西北工业大学计算机学院	167	1420	17.0	30.0
2	王万诚	西北工业大学计算机学院	15	128	7.0	11.0
3	陈昊鹏	西北工业大学计算机学院	8	81	4.0	8.0