首页 | 本学科首页   官方微博 | 高级检索  
     

形式化技术应用于软件逆工程的实践研究
引用本文:陈长春,王昭顺.形式化技术应用于软件逆工程的实践研究[J].计算机工程与设计,2005,26(5):1256-1258,1276.
作者姓名:陈长春  王昭顺
作者单位:北京科技大学,计算机科学与技术系,北京,100083
摘    要:形式化技术为软件逆工程提供严格和完备的理论基础,但应用于实践的非常少。介绍了一种将形式化方法应用于逆工程的具体实现方法,应用最强后条件的形式化技术对命令语言进行逆工程的具体初步实践,分三阶段对源程序进行抽象以得到严格保证正确性和一致性的软件结构规格说明,并且给出了具体的实现方法。

关 键 词:软件逆工程  形式化技术  最强后条件  命令语言
文章编号:1000-7024(2005)05-1256-03

Practical study of software reverse engineering with formal method
CHEN Chang-chun,WANG Zhao-shun.Practical study of software reverse engineering with formal method[J].Computer Engineering and Design,2005,26(5):1256-1258,1276.
Authors:CHEN Chang-chun  WANG Zhao-shun
Abstract:Formal method supplies rigorous and self-contained theory basis for the software reverse engineering, but it is rarely applied in the practice. A method with the use of strongest post-condition to the practice of reverse engineering of command program language is introduced. The approach to abstract the source code with 3 steps can get the specifications with rigorous correctness and consistency, and it also puts forward a concrete method for implementation.
Keywords:reverse engineering  formal method  strongest post-condition
本文献已被 CNKI 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号