汇编语言程序设计中的正确性研究

<正> 近年来,国外对计算机程序的正确性的验证技术进行了大量的研究,其目的都是为了提高软件的可靠性.程序正确性的证明也愈来愈成为程序设计的一个重要组成部分。在国内,在程序的正确性证明方面也已开展了许多研究工作,这个问题日益受到广大软件工作者的重视。随着计算机应用领域的不断扩大,计算机软件的可靠性也日趋重要,计算机程序中的错误往往造成应用领域里的严重损失。因此,人们总是想把数学的严密性不断地应用于程序设计过程中去。类似于数学学科在其发展中经历了形式化和公理化的过程,在程

The Study of Program Correctness in Assembler Programming

This paper is an initial study about manual program verification with formularizational method, which is used in assembler programming, the problem about proving the correctness of the program is discussed in this paper. In order to verify our network communication programs written in assembler language, several auxiliary axioms and deduction rules are quoted. As examples, proofs of some program sections have been given as Well.