摘要：
一、作业架构 第一次作业 第二次作业 第三次作业 本单元的三次作业我主要的设计是将课程组中的各种类进行一个封装。在此基础上，我们就可以加入自己需要使用的方法，并且将不同UML类之间建立更为直接的联系，形成一个树状结构。这样以来，不用通过id就可以找到相关的UML类。 在第三次作业中，由于checks 阅读全文
摘要：
第三单元博客作业 一、梳理 JML 语言的 理论基础、应用工具链 情况 1. JML语言 （1）JML表达式 \old(expr)：表示expr在方法执行前的值 \result：表示方法的返回值 \not_assigned：表示括号中变量在方法执行过程中是否被赋值 \nonnulle 阅读全文
摘要：
第二单元博客总结 目录 ： 1. 多线程协同和同步控制策略 2. 第三次作业分析 3. 基于度量分析 4. bug分析 5. 心得体会 一、多线程协同和同步控制 Homework1 上面是第一次作业设计的程序架构。可以看到，除了主线程以外，又开启了三个额外的线程，分别是Controller，IEle 阅读全文
摘要：
第一单元总结 第一次作业 ULM 设计分析 在这里我们可以看到有两个复杂方法和一个长表达式。 长表达式对应着一个正则表达式，我们可以通过将其划分成小表达式再拼接来将其简化。 在Main中的复杂表达式是对的正则表达式提取出的结果进行解析，而Term的toString函数也是要包含所有情况，所以目前还没 阅读全文