摘要: 本单元架构总结 作业13架构: 作业14架构: 作业15架构: 架构思维演进 我的体验是四个单元的设置各有侧重:第一单元作为引导,树立起我们对于架构设计的初步印象;第二单元主要培养线程安全以及其背后的数据安全意识,并且包含进一步的架构思维建立;第三单元主要介绍形式化描述和验证的概念,培养对应的思维和 阅读全文
posted @ 2022-06-27 16:47 seeeagull 阅读(36) 评论(0) 推荐(1) 编辑
摘要: 自测经验 由于本单元主要内容就是学习JML规格,所以我在自测过程中也尝试通过JML规格准备数据。因为JML明确规定了类的属性的限制以及类的方法在不同情况下的行为,所以我们在设计数据生成器时有意识地让规格中每种情况都出现,通过设计参数使不同情况的概率尽量达到某种平衡。那么只要生成过足够量的数据,理论上 阅读全文
posted @ 2022-06-02 23:27 seeeagull 阅读(83) 评论(2) 推荐(0) 编辑
摘要: 单元总览 本单元我们学习了Java多线程。通过电梯这一现实情景,体会了如何利用多线程机制完成多个并发任务以提高CPU利用率;对于线程安全有了一定概念,在实践中认识到多线程使用共享数据会面临的数据安全问题,并学会了使用同步块和锁来设计线程安全的程序。 与此同时,我们还学习并实现了生产者-消费者模型、单 阅读全文
posted @ 2022-04-27 22:40 seeeagull 阅读(123) 评论(2) 推荐(4) 编辑
摘要: 整体总结 本单元的三次作业,是在“进行表达式括号展开并可尽量化简”的目标下,进行三轮迭代开发。其中总结各次需求主要递进如下: 多项式->带三角函数、自定义函数、求和函数的表达式,函数因子自变量有限制,不允许多层嵌套->函数因子自变量无限制,允许多层嵌套。 通过该单元训练,我对面向对象的思维方式有了初 阅读全文
posted @ 2022-03-25 13:02 seeeagull 阅读(90) 评论(0) 推荐(0) 编辑