验证正确性的方法

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

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值