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

【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.更多还原