马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。
您需要 登录 才可以下载或查看,没有账号?注册
x
本帖最后由 W1Z1Q 于 2024-6-16 13:26 编辑
大家好,我是谷公子,前几节课给大家分享了如何设计激励,今天我们来如何进行代码审查。
之前讨论的是基于计算机的验证技术,现在讨论非基于计算机的验证过程(即“人工验证”,或代码审查)。代码审查在查找错误方面非常有效,任何编程项目都需要它。不过需要注意的是:由于包含了人为因素,很多方法的正规性要差于由计算机执行的数学证明,人们可能会怀疑某些如此简单和不正规的东西是否有用。但是这些不正规的方法并没有妨碍验证取得成功;相反,它们在以下两个方面显著地提高了验证的功效和可靠性:
分享视频链接如下:
https://mp.weixin.qq.com/s/CmUxDm7-36qQ6fL7Dne_HQ
|