zhongzihao

摘要： 一 测试的优点在于它十分方便快捷，缺点在于可能的测试数据通常极为庞大，难以保证通过了测试后代码就完全没有错误；而正确性论证相对较为繁琐，但是能在一定程度上确保代码没有错误。 二 它们都是基于数学中的逻辑表达式而精确描述的一种语言，而OCL偏向于建模，JSF偏向于行为描述。 三 四 4.1 前两个单元 阅读全文

摘要： 规格化历史 规格化的出现源于统合各个厂商各有各的格式而产生出的问题。其优势在于可以对事物给出一个明确的标准，从而减小出错的几率。 规格Bug 产生原因 主要原因是部分规格没有写完整，如 repOK 没有完整地考虑到所有的不变量，部分线程的 Effects 没有写出。 前置和后置条件的不好写法 前置条 阅读全文

摘要： 从第五次作业开始，我们接触到了多线程程序设计。多线程能够提高程序运行的效率，但是也对编写代码时数据的同步提出了更高的要求。接下来我将在这里对第五到七次作业进行一个简单的总结。 设计策略 第五次作业中，我们需要将之前的单部电梯拓展为多线程电梯。这次作业主要的数据同步问题在于请求发生器和调度器对于请求队 阅读全文

摘要： 经过一个月的学习，我对 OO 这门课有了一定的感悟，希望在这里做一个小小的总结。 前几次作业最普遍的问题就是边界错误，例如，第一次作业我测试的代码将 $20$ 个多项式判成了 $21$ 个，第二次作业我的代码将 $100$ 个多项式判成了 $101$ 个，这通常是判断边界时 $>(<)$ 和 $\g 阅读全文