总结
比较测试和正确论证的效果
就我们课堂上所学的测试知识而言，单点测试只是在针对代码的实际情况构造出对应的测试样例进行“覆盖性测试”.而正确性论证则可能稍微复杂一些.是通过一些描述语言来对程序中的模块进行注意检查. 两者有利有弊,都是在覆盖度和简便方式上分别作出了取舍.不过就我个人而言,比较喜欢测试的方式.
OCL语言和JSF规格
OCL语言,`Object Constraint Language`.对象约束语言。作为图形符号的补充，说明建模元素的有关细节。作为形式化的语言，基本语言要素包括：类型、操作、表达式、和语句。而JSF是一种使用逻辑布尔代数的方式来对编程语言进行约束.
相比较而言,JSF语言有前置和后置条件并且还有一些EFFECTS.而OCL则更大程度上使用一些其他的字符来表示(支持自定义).可以说比JSF更强大但是也更复杂.
UML
类图
顺序图
状态图
整理和总结
-
1.学习体会
有一个关于工程化很好的描述：工程化就是你的代码达到一定的数量，自己已经无法在靠人力来管理和维护的时候，这时候就需要借助一些科学的方法来实现管理。
一个学期下来，从最开始的200行代码到后来的2000行代码，从对Java零基础到现在可以使用一些强大的Java类库实现复杂的功能，这是OO课程带给我的。记得最开始上数据结构课程的时候，老师说数据结构是心法，一定要熟练掌握，最开始我一直在想如何用合适的方法来提高自己的数据结构能力。上完OO才发现“代码没写够就是没写够，其实一切都是练的多不多的问题”。老师讲课很抽象。。。助教很热心，还有大家都很强。 -
2.心得
最开始的工程中，我记得我互测加公测其实不是没有多少BUG，但越往中间和靠后，甚至出现了几次无效的情况。在计算机学院同学强大的能力映衬之下我的这种无能越发凸显。也让我明白了其实不管什么专业，重要是人。
加油！