![](https://img-blog.csdnimg.cn/20201014180756918.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
MIT Software Construction
对MIT Software Construction 课程的学习笔记,原网页链接:http://web.mit.edu/6.031/www/fa18/
colooorful
这个作者很懒,什么都没留下…
展开
-
麻省理工Java软件构造 不变量(Invariants)
待施工原创 2020-07-10 00:03:03 · 444 阅读 · 0 评论 -
麻省理工Java软件构造 等价性
待施工…原创 2020-07-10 00:00:26 · 173 阅读 · 0 评论 -
代码快照图中各种变量的表示
原链接Kinds of variables in snapshot diagrams画快照图时,要区分好这三种不同类型的变量局部变量 (local variable)在一个方法被调用时产生,调用返回时消失如果对同一个方法有多次调用,那么每一次调用都会有相互独立的局部变量实例变量 (instance variable) 当使用new创建一个新的对象时,这个对象里的实例变量被随之创建,当对象被回收时,它也随之消失。不同的对象直接的实例变量是相互独立的静态变量 (static va原创 2020-05-22 10:17:03 · 224 阅读 · 0 评论 -
麻省理工Java软件构造 Reading 4: Code Review 代码评审
简单来说,代码评审就是由不是写代码的人来对代码进行仔细、系统的检查代码评审有助于发现程序中的bug,规范代码,但更重要的是,这是程序员之间相互交流、学习的良好途径比如说在Google,必须有人为你的代码进行评审并签字,你才能将其推送到总仓库里代码评审(包括自己写代码)时的一些原则:DRY(Don’t Repeat Yourself)不要出现重复的或十分相似的代码因此,Ctrl + C, Ctrl + V 实际上是有很大风险的因为你很可能在日后发现问题时,修改了一处代码,而漏掉了另一处好好写注原创 2020-05-22 09:53:30 · 235 阅读 · 0 评论 -
回归测试
如果你发现代码中有一个bug,修复之后,你应该把引出这个bug的情况加入你的测试里,这样的测试用例就是回归测试用例每对代码做出一次改变,都应该执行一次回归测试,这样才能保证新的改变不会引入新的bug,同时也能避免“为了修复一个bug而引入更多的bug”因此,回归测试的关键在于频繁的执行,以及对测试用例的不断完善...原创 2020-05-21 19:57:00 · 129 阅读 · 0 评论 -
麻省理工Java软件构造 Reading 2: Basic Java
快照图(Snapshot diagrams)快照图表示运行时程序的内部状态,这包括栈(stack,存放运行中的方法及方法的局部变量)的情况,和堆(存放当前程序中存在的对象)的情况快照图的具体表示:基础数据类型:用指向一个数字的箭头来表示箭头表示某个变量或某个对象中的字段对这些值的引用对象数据类型:用有箭头指向的圆圈来表示,圆中写着该对象的类型(如上图中的Point)我们可以...原创 2020-04-20 21:37:54 · 150 阅读 · 0 评论 -
麻省理工Java软件构造 Reading 1: Static Checking
原网页链接:MIT Software Construction 课程网站 Reading 1: Static Checking数据类型类型(type)就是一组数据,以及对这些数据的操作Java中的数据类型:基本类型(primitive types)如 int,long,boolean,double,char对象类型(object types)如String (一组的cha...原创 2020-04-20 20:47:37 · 178 阅读 · 0 评论