形式化技术应用于软件逆工程的实践研究

作     者：陈长春 王昭顺 CHEN Chang-chun;WANG Zhao-shun

作者机构：北京科技大学计算机科学与技术系北京100083 

出 版 物：《计算机工程与设计》 (Computer Engineering and Design)

年 卷 期：2005年第26卷第5期

页      码：1256-1258,1276页

摘      要：形式化技术为软件逆工程提供严格和完备的理论基础,但应用于实践的非常少。介绍了一种将形式化方法应用于逆工程的具体实现方法,应用最强后条件的形式化技术对命令语言进行逆工程的具体初步实践,分三阶段对源程序进行抽象以得到严格保证正确性和一致性的软件结构规格说明,并且给出了具体的实现方法。

主 题 词：软件逆工程 形式化技术 最强后条件 命令语言 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1000-7024.2005.05.047

馆 藏 号：203680483...