用形式化和非形式化技术对VB程序逆向工程

• 作者: 何丽莉 张卓鹏 胡成全 齐红
• 来源期刊: 吉林大学学报(信息科学版)
• 学科: 工学
• 关键词: 逆向工程 形式化规格说明 形式化方法
• 年，卷（期）: 2003,（4）
• 所属期刊栏目: 计算机科学与技术
• 页码范围: 387-392
• 页数: 6页
• 分类号: TP311
• 字数: 3362字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-5896.2003.04.016

摘要

研究了采用形式化和非形式化相结合的方法,为VB程序生成形式化规格说明的逆向工程技术.给出了VB语言基本结构的最强后件语义表示、模式匹配规则、抽象匹配规则以及产生规格说明的基于结构化分析的3阶段过程.在此基础上使用VB语言实现了原型工具BasicSpec.此工具首先为VB程序建立非形式化的抽象模型:窗体结构图和过程调用图;然后为关键模块生成形式化规格说明.生成的结果清晰明确,有助于软件工程师理解VB源程序.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	齐红	吉林大学计算机科学与技术学院	33	526	10.0	22.0
2	胡成全	吉林大学计算机科学与技术学院	34	458	14.0	20.0
3	何丽莉	吉林大学计算机科学与技术学院	32	239	9.0	15.0
4	张卓鹏	吉林大学计算机科学与技术学院	2	2	1.0	1.0