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

来源 :吉林大学学报：信息科学版 | 被引量 : 0次 | 上传用户：LUOMINGGANG818

【摘要】

：

研究了采用形式化和非形式化相结合的方法,为VB程序生成形式化规格说明的逆向工程技术.给出了VB语言基本结构的最强后件语义表示、模式匹配规则、抽象匹配规则以及产生规格说

【作者】

：

何丽莉胡成全齐红张卓鹏

【机构】

：

吉林大学

【出处】

：

吉林大学学报：信息科学版

【发表日期】

：

2003年4期

【关键词】

：

逆向工程形式化规格说明形式化方法 Reverse engineering Formal specification Formal method

【基金项目】

：

国家自然科学基金，教育部重点实验室基金

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

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

其他文献

溶血对生化检验准确性的影响及纠正探析

【摘要】目的探析溶血对生化检验准确性的影响及纠正方法。方法将同一标本分成两管，一管为未溶血血清标本，另一管为溶血血清标本，对于两个标本的各项指标进行配对检验再对血清血红蛋白的浓度与溶血变化值采用多元回归方法进行分析。结果 ①溶血血清TP、AST、CK、CK-MB、HBDH、LDH和K+测定值明显高于未溶血标本的测定值，差异有统计学意义（P＜0.05），溶血标本的Na+测定值低于未溶血标本的测定

期刊

溶血生化检验准确性影响及纠正

短梗五加苗期猝倒病的发生与防治

短梗五加为五加科落叶灌木，其嫩茎俗称“刺拐棒”，是辽东人们传统食用的精品山野菜，其根、叶、茎、果实均可人药，对调节人体中枢神经系统、预防和治疗心脑血管疾病等具有良好的功

期刊

苗期猝倒病短梗五加防治中枢神经系统心脑血管疾病人工栽培苗木成活率落叶灌木栽培面积苗木繁殖

P2P网络中使用UDP穿越NAT的方法研究

外网主机主动访问内网主机或位于不同NAT(Network Address Translation,网络地址转换)网关之后的主机之间对等连接是P2P(Peer-to-Peer,对等网络)应用中必须要解决的问题.在介

期刊

对等网络网络地址转换用户数据报协议Peer-to-Peer Network address translation User datagram pro

数字式天线旋转控制系统的软件实现

提出了一种全新的天线旋转控制的软件实现方案.采用Visual C++ 6.0设计并实现了一个实用的系统,它一方面将传统的模拟闭环系统简化为数字开环系统,另一方面将传统的机械式监

期刊

数字控制计算机控制计算机化仪表Digital control Computer control Computerized instrumentatio

芦笋茎枯病关键防治技术

受2003年“非典”影响，芦笋出口一度受阻。芦笋价格迅速下滑，全国各地许多芦笋种植者放弃田间管理，任其自由生长，使得2003年茎桔病大面积发生。再加上2004和2005年我国的芦笋产区

期刊

芦笋茎枯病防治技术田间管理阴雨天气种植者面积产区暴发

教师教育课程改革的探索

期刊

教师教育课程改革基础教育课程改革师范院校教师教育课程标准

利用POWerBuilder数据窗口技术实现通用查询

利用PowerBuilder的数据窗口技术实现了一个具有通用性和可扩展性的查询模块,该模块实现了对各种数据源的检索以及各种组合条件的查询,可以缩短管理信息系统的开发周期.

期刊

信息系统管理查询处理数据检索数据窗口技术用户对象数据源Management of information systemsInquiry proce

称重系统模拟电压-频率比变换电路

分析了模拟电压—频率比变换电路原理 ,给出了元件参数的设计要求及其计算方法。对两路对称变化测量频率的处理使称重系统可进行增重、减重测量 ,电路的调频性适用于各种量程的称重系统。

期刊

模拟积分电路测量电压一频率比称重系统SimulationIntegrating circuitMeasurementVoltage-to-fre

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

其他学术论文