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

最新推荐文章于 2022-06-18 16:00:00 发布

孤鸿子_

最新推荐文章于 2022-06-18 16:00:00 发布

阅读量790

点赞数 1

分类专栏： system&software engineer 文章标签： MIT6.031 software construction assertion 防御编程避免debug

本文链接：https://blog.csdn.net/Dylan_Frank/article/details/83930896

版权

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

摘要由CSDN通过智能技术生成

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

First Defense: Make Bugs Impossible

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

顾名思义就是将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

关注

专栏目录