摘要
本文论述了反编译作为一种程序验证的工具在航天工业中的重要地位和应用;介绍了反编译的背景知识;给出一个实用的反编译系统DCPL的设计模型和关键技术及其一个运行结果示例以说明反编译器的功能。
In this paper,the significance and application of decompilation as a program verifying tool in Aerospace Industry is discussed;the background knowledge of decompilation is introduced;a model of a practical decompiler DCPL is presented as well its result to show its function.
出处
《宇航学报》
EI
CAS
CSCD
北大核心
1998年第3期97-102,共6页
Journal of Astronautics
基金
国防科工委支持项目
关键词
反编译
软件工具
程序验证
程序可靠性
航天
Decompilation Software tool Program verification Program reliability