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

• 作者: 王昭顺 陈长春
• 来源期刊: 计算机工程与设计
• 学科: 工学
• 关键词: 逆工程 形式化技术 最强后条件
• 年，卷（期）: 2005,（5）
• 页码范围: 1256-1258,1276
• 页数: 4页
• 分类号: TP311.53
• 字数: 4124字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-7024.2005.05.047

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王昭顺	北京科技大学计算机科学与技术系	46	532	12.0	21.0
2	陈长春	北京科技大学计算机科学与技术系	1	1	1.0	1.0