摘要：本单元架构总结 作业13架构： 作业14架构： 作业15架构： 架构思维演进 我的体验是四个单元的设置各有侧重：第一单元作为引导，树立起我们对于架构设计的初步印象；第二单元主要培养线程安全以及其背后的数据安全意识，并且包含进一步的架构思维建立；第三单元主要介绍形式化描述和验证的概念，培养对应的思维和 阅读全文

摘要：自测经验 由于本单元主要内容就是学习JML规格，所以我在自测过程中也尝试通过JML规格准备数据。因为JML明确规定了类的属性的限制以及类的方法在不同情况下的行为，所以我们在设计数据生成器时有意识地让规格中每种情况都出现，通过设计参数使不同情况的概率尽量达到某种平衡。那么只要生成过足够量的数据，理论上 阅读全文