摘要：
史上最全OpenJML摸索实录 本文为笔者OpenJML的安装配置及使用，以及用JunitNG进行自动测试的探索实录。OpenJML及JunitNG这两个工具非常古早，网上资料奇少，与IDEA配适度极差，难用程度令人发指。但是课程博客又不得不用，于是参考17级学长学姐们的教程，结合笔者自己的摸索经验 阅读全文
摘要：
BUAA OO Unit4 & Final Summary 一. 第四单元架构设计 总的来说，这次作业的架构设计比较清晰。我在第一次作业中按照类的层次对类图元素进行了解析，实现了MyClass类来复现UML类图中的Class。后两次的作业基本上是在第一次作业架构的基础之上进行扩展，所以完成得比较轻松 阅读全文
摘要：
BUAA OO Unit3 Summary——万物即可形式化 一. JML 语言的 理论基础 JML是对Java程序进行规格化设计的一种表示语言。通过规格化描述，精确地描述了代码的功能，并且为测试设计提供了严密的依据。尤其在多人协同开发的时候，相比可能带有内在模糊性的自然语言描述，JML能过更清晰地 阅读全文
摘要：
BUAA OO Unit2 Summary 一. 设计策略 早在大一的时候，我就对OO的电梯作业略有耳闻，以至于在等电梯等时候总会偷偷地思考：电梯到底是怎样调度的呢？而在这一个单元，我真正亲身体验到了多线程和电梯调度的玄妙之处。 我们这三次作业的电梯，是一种比较特殊的电梯——目的选层电梯。乘客在电梯 阅读全文
摘要：
BUAA OO Unit1 Summary 一.程序结构分析 第一次作业 思路： 这次作业较为简单，既没有非法判断，而且仅涉及幂函数因子的求导，且因子间的组合规则仅有加法，因此在这次作业中，我仅建立了一个poly类，采用了hsahmap，用幂函数的指数作为key，系数作为value，存储幂函数中的每 阅读全文