MIT[Software Construction] Readings阅读心得

引言：
阅读了MIT课程6.031 [Software Construction]的Readings，以下做一总结：
课程链接：http://web.mit.edu/6.031/www/sp20/
Readings部分共有30篇，此处针对第1、3、4、5章节做一总结：

如图所示：所要总结的章节是：
1.静态检查 Static Checking
3.测试 Testing
4.代码审查 Code Review
5.版本控制 Version Control

1.静态检查 Static Checking

在编程过程中，可以考虑一种语言有以下三种自动检查：
**1）静态检查：**在程序运行前发现错误
例如：在idea/eclipse中编写java代码时，如果出现拼写错误或者中文分号时，会有自动提醒，以便及时发现错误
**2）动态检查：**执行代码后会自动发现该错误：
例如：运行java程序后，发现数组越界或者整除0的情况
**3）不检查：**单纯靠人工发现错误

对于以上三种检查方法从强到弱可排为：
静态检查>动态检查>不检查

静态检查的作用：
1.避免错误。