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

【Abstract】 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.更多还原