验证正确性的方法
1、 bug和调试
bug的来源吗?
调试,就是找出程序中的错误并改正
算法错误:是指一个算法中引起该算法不能实现其预定目标的热病和错误。主要包括四种基本类型:二义性,语法错误,语义错误,逻辑错误
1.1二义性,算法中比较容易消除的一类。一般体现在指令表达不准确或者不明确。
1.2语法错误:是指一条指令的含义出现错误。一条指令可以非常准确没有拼写错误,但可能没有意义或在它出现的上下文中不合法。
1.3逻辑错误:引起算法做一些并不是程序员希望做的事。 了解决它,我们可以做一些事情:
将问题分解为易于管理的子问题,这样就可以实现解决方案的模块化
预测所有可能的输入数据
跟踪代码
2、 证明算法的正确性
要做下面的事情:
● 合法输入数据的说明
● 输入和期望输出之间的关系
算法的正确性:整体正确和部分正确
证明正确性的时候我们一般分两个阶段:
● 一用不变式来证明算法的部分正确性。不变式指的是依附于算法中的一条特定的语句,该语句对计算的结果状态进行判断。
● 二用收敛性来严整算法的整体正确性。收敛性是证明算法在特定的合法输入数据的情况下,会正常结束的一种方法。
3、 验证法
与上面严格的方法相比,还有一种比较简单的方法,即”如你所做”的验证方法。,对于这类验证,必须要有好的模块性:
● 构造相对关注面小、完成特定任务的模块
● 准确的定义模块间的接口,以参数的形式准确的传递左右数据。