第四节 程序和系统调试

程序和系统调试的目的是发现程序和系统中的错误并及时予以纠正。理论法是居于程序正确性证明问题，它是利用数学方法证明程序的正确性。程序证明是一个鼓舞人心的方法，但它仍处在研究之中，估计近期内还达不到实用的地步。实验法是目前普遍使用的程序调试方法，而且卓有成效。人们编写的所有程序都必须经过调试才能证明其正确性，事实上只能说基本正确，要证明完全正确，尚需经过一段试用，只有到那个时候才能验证出是否真正正确。经过功能模块和控制与调度程序的调试，即可开始整个系统程序的总调，也就是将主控制调度程序和功能模块联结起来调试。 ......