摘要：
一、测试与正确性论证 理想情况下测试将覆盖所有可能的情况，并测试这些情况下的结果是否符合预期。这样做全面但工程量很大。 而正确性论证相较而言可以说是检测结果是否在预期的范围内，是一种笼统的测试但实现容易。 二、OCL与JSF 对象约束语言简称OCL，是一种指示用户建模系统中的限制方式。 OCL是一种 阅读全文
摘要：
规格化设计 规格化设计可以使其他人在不了解模块内部的情况下调用，其极大得避免被调用时出现问题。这样做使得程序在多人合作完成时更加高效，也易于维护。 规格bug 我的规格主要问题在于我对其语法的不甚了解，以及我的某些方法写得过长，导致我在写规格时忽略了其中的某些元素。 规格bug与功能bug的联系 讲 阅读全文
摘要：
第五次OO作业——多线程电梯 从度量图可以看出，这一次的电梯程序相较前两次有所改善，但仍存在爆红的问题。通常爆红可以用将一个方法拆分成多个方法来解决，而这次爆红的位置是线程的RUN方法，在设计时我考虑到如果将其中的代码单独拿出来，将会产生大量不会被其他类调用的方法，在其他类调用它的时候容易产生混淆。 阅读全文