MIT 6.031 Software Construction 学习笔记:(四) Avoiding Debugging

本文介绍了如何在软件开发中避免调试,包括使错误变得不可能(如静态类型检查、不变性和不可重新分配引用),限制错误影响(通过防御编程和断言),增量开发,模块化和封装。强调了断言的使用,不应有副作用,并应在测试和调试期间启用。提倡每次编写小部分代码就进行测试,以减少调试工作量。
摘要由CSDN通过智能技术生成

这章Reading 9: Avoiding Debugging给了我很大的收获,以前一些 ACMer 的不好的代码习惯(当然是为了快速coding)都在这里暴露无遗

First Defense: Make Bugs Impossible

主要是前面讲的一些内容的结合,一方面是编译器做足工作,另外一方面则是人要做足工作

  • static checking
  • dynamic checking 这里主要是编译器的工作了,e.g. java 的Array overflow, 就比c/c++ 的不检查优秀不少
  • Immutability
  • immutable references: 加final
  • unreassignable references

Second Defense: Localize Bugs

顾名思义就是将bug放在一个很小的范围中,方便定位

defensive programming: Checking preconditions is an example of defensive programming

就是可以在方法入口处检查方法的前置条件

e.g

/**
 * @param x  requires x >= 0
 * @return approximation to square root of x
 */
public double sqrt(double x) {
    
    if (! (x >= 0)) throw new 
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值