摘要：
第三单元的任务是通过理解JML规格在面向对象设计与构造中的重要意义，并掌握利用JML规规格，实现一个社交网络图，并进一步实现最小生成树和最小路径算法。 一、利用JML规格准备测试数据 1. 数据准备 根据功能行为的不同，我准备测试的数据分为normal_behavior类的正常数据和导致异常行为ex 阅读全文
摘要：
一、同步块与锁 什么时候需要加上同步块？ 经过查阅资料我们可以知道，同步代码块指的是被Java中synchronized关键词修饰的代码块，在Java中，synchronized关键词不仅仅可以用来修饰代码块，与此同时也可以用来修饰方法，是一种线程同步机制，被synchronized关键词修饰的代码 阅读全文
摘要：
一、作业分析 1. 第一次作业 第一次接触OO作业面对大段的表达式定义时，关于应该如何化简，自己其实并没有非常清晰的思路，甚至可以说是不知从何下手。在这样的情况下，我最终决定采用了课程组提供的官方包，选择使用预解析模式完成作业。 思路： 由题目，我们可以很容易地发现，输入的表达式经过解析后的形式为f 阅读全文