2.2 C语言程序的错误条件

在C语言程序中，条件语句决定程序的执行路径，因此条件表达式是程序的关键。

应用最经典的程序，除法的减法实现程序,解释条件表达式的重要性。x=y*q+r，x是被除数，y是除数，q是商，r是余数。 程序的方法， x=(r-y)+y*(1+q)。

main(){ /*错误条件的程序*/

   r:=x;  q:=0;

   while(r>y){

        r:=r-y;  q:=q+1;

   }

}

此程序中，r是被减数，也是余数。根据经验在程序中,余数r应大于除数y，实际上余数可以为0，因此while语句的条件表达式r>y，应是r>=y。

r=r-y，要求r减少，因此y不能是负数，而且根据除法的要求y>0，程序的初始化数据y>0。

若x<0，则r<0。若y>0，则程序不能执行，若y<0，而且y<r，则程序的方法错误。例如x=-2，y=-4，第一次迭代，r=2, q=1，与数学的除法规定不相符。因此x>0 而且x可以为0，即x>=0。

编写正确的程序，又称为程序正确性证明。用前后断言判断语句的正确性，P{Q}R，P是前断言，R是后断言。断言描述变量值的特征与变量间的关系。[论文题目《An axiomatic basis for computer progamming》，作者  C.A.R. Hoare。这篇论文很简单