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

Using formal and informal techniques for reverse engineering of VB program

作　　者：何丽莉[1] 胡成全[1] 齐红[1] 张卓鹏[1] 

机构地区：[1]吉林大学计算机科学与技术学院,吉林长春130012

出　　处：《吉林大学学报（信息科学版）》2003年第4期387-392,共6页Journal of Jilin University（Information Science Edition）

基　　金：国家自然科学基金资助项目(60175024);国家教育部符号计算与知识工程重点实验室基金资助项目

摘　　要：研究了采用形式化和非形式化相结合的方法,为VB程序生成形式化规格说明的逆向工程技术。给出了VB语言基本结构的最强后件语义表示、模式匹配规则、抽象匹配规则以及产生规格说明的基于结构化分析的3阶段过程。在此基础上使用VB语言实现了原型工具BasicSpec。此工具首先为VB程序建立非形式化的抽象模型:窗体结构图和过程调用图;然后为关键模块生成形式化规格说明。生成的结果清晰明确,有助于软件工程师理解VB源程序。A method combining formal and informal techniques for producing formal specification of VB program is presented. The formal reverse technique is based on the strongest postcondition predication transformer, pattern match rules and abstraction match rules. The structurebased, threephase analysis process for generating formal specification of VB program is described in detail. An experimental tool, BasicSpec, for VB program is provided. It can produce the windows structure graph for a VB program, the process call graph in a window, and the formal specification of a key module. This tool can be used to help the software engineers to obtain meaningful results.

关 键 词：逆向工程 形式化规格说明 形式化方法 

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