一
测试的优点在于它十分方便快捷，缺点在于可能的测试数据通常极为庞大，难以保证通过了测试后代码就完全没有错误；而正确性论证相对较为繁琐，但是能在一定程度上确保代码没有错误。
二
它们都是基于数学中的逻辑表达式而精确描述的一种语言，而OCL偏向于建模，JSF偏向于行为描述。
三
四
4.1
前两个单元知识点依次递进，从单线程到多线程，之后再到设计文档的编写以及单元测试。
4.2
我的代码从开始时的面条式代码进步到了每个方法只有二三十行。
4.3
工程化开发即为通过一定的代码规范来保证大型项目的开发不出现差错。
4.4
希望加大对乱报 bug 的同学的处罚力度。