验证正确性的方法

 

验证正确性的方法

1、 bug和调试

bug的来源吗？

调试，就是找出程序中的错误并改正

算法错误：是指一个算法中引起该算法不能实现其预定目标的热病和错误。主要包括四种基本类型：二义性，语法错误，语义错误，逻辑错误

1.1二义性，算法中比较容易消除的一类。一般体现在指令表达不准确或者不明确。

1.2语法错误：是指一条指令的含义出现错误。一条指令可以非常准确没有拼写错误，但可能没有意义或在它出现的上下文中不合法。

1.3逻辑错误：引起算法做一些并不是程序员希望做的事。 了解决它，我们可以做一些事情：

将问题分解为易于管理的子问题，这样就可以实现解决方案的模块化

预测所有可能的输入数据

跟踪代码

2、 证明算法的正确性

要做下面的事情：

●　合法输入数据的说明

●　输入和期望输出之间的关系

算法的正确性：整体正确和部分正确

证明正确性的时候我们一般分两个阶段：

●　一用不变式来证明算法的部分正确性。不变式指的是依附于算法中的一条特定的语句，该语句对计算的结果状态进行判断。

●　二用收敛性来严整算法的整体正确性。收敛性是证明算法在特定的合法输入数据的情况下，会正常结束的一种方法。

3、 验证法

与上面严格的方法相比，还有一种比较简单的方法，即”如你所做”的验证方法。，对于这类验证，必须要有好的模块性：

●　构造相对关注面小、完成特定任务的模块

●　准确的定义模块间的接口，以参数的形式准确的传递左右数据。