本文论述了反编译作为一种程序验证的工具在航天工业中的重要地位和应用；介绍了反编译的背景知识；给出一个实用的反编译系统ＤＣＰＬ的设计模型和关键技术及其一个运行结果示例以说明反编译器的功能。 This paper discusses the important status and application of decompiling as a program verification tool in aerospace industry, introduces the background knowledge of decompiling, and presents a practical design model and key technology of DCPL and an operation result Example to illustrate the function of the decompiler.