| 用形式化和非形式化技术对VB程序逆向工程 |
| |
| 引用本文： | 何丽莉,胡成全,齐红,张卓鹏. 用形式化和非形式化技术对VB程序逆向工程[J]. 吉林大学学报(信息科学版), 2003, 21(4): 387-392 |
| |
| 作者姓名： | 何丽莉 胡成全 齐红 张卓鹏 |
| |
| 作者单位： | 吉林大学,计算机科学与技术学院,吉林,长春,130012;吉林大学,计算机科学与技术学院,吉林,长春,130012;吉林大学,计算机科学与技术学院,吉林,长春,130012;吉林大学,计算机科学与技术学院,吉林,长春,130012 |
| |
| 基金项目： | 国家自然科学基金资助项目(60175024),国家教育部符号计算与知识工程重点实验室基金资助项目 |
| |
| 摘 要： | 研究了采用形式化和非形式化相结合的方法,为VB程序生成形式化规格说明的逆向工程技术。给出了VB语言基本结构的最强后件语义表示、模式匹配规则、抽象匹配规则以及产生规格说明的基于结构化分析的3阶段过程。在此基础上使用VB语言实现了原型工具BasicSpec。此工具首先为VB程序建立非形式化的抽象模型：窗体结构图和过程调用图;然后为关键模块生成形式化规格说明。生成的结果清晰明确,有助于软件工程师理解VB源程序。
|
| 关 键 词： | 逆向工程 形式化规格说明 形式化方法 |
| 文章编号： | 1671-5896(2003)04-0387-06 |
| 修稿时间： | 2003-03-28 |
Using formal and informal techniques for reverse engineering of VB program |
| |
| Abstract: | |
| |
| Keywords: | Reverse engineering Formal specification Formal method |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
