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