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