摘要：
一、总结本单元三次作业的架构设计 （1）第十三次作业 在这次作业中对UmlClass、UmlInterface、UmlOperation和UmlAssociation进行了重新封装，根据需要实现的查询功能实现了一些新的方法。在MyUmlInteraction类中需要进行查询时只需要在对应的类中调用相 阅读全文
摘要：
一、梳理JML语言的理论基础、应用工具链情况 JML以javadoc注释的方式来表示规格，每行以@起头。其中行注释为“//@annotation”，块注释为“/*@ annotation... @*/”。 常用表达式有以下几种： \public normal_behavior：表达方法在正常情况下应 阅读全文
摘要：
一、设计策略 （1）第五次作业 第二次作业程序中有三个线程，一个线程进行请求的读入并将其按顺序存入队列中，电梯线程一次从请求队列的头取出一个请求并执行，以及调度器线程，电梯将当前楼层、及主请求相关信息传递给调度器，调度器根据调度策略将请求队列中可以被捎带的请求传递给电梯，存入电梯内部的请求队列中，电 阅读全文
摘要：
一、基于度量的程序结构分析 （1）第一次作业 第一次作业对面向对象的理解还不够，总体分成了三个类，分别是包含主函数的Diff，处理字符串的InputChecker和进行求导的Calculate。因为对正则表达式不够熟悉还不能熟练运用，本次作业采用了状态机的进行字符串处理。采用状态机的优点在于思路较为 阅读全文
摘要：
一、梳理JML语言的理论基础、应用工具链情况 JML以javadoc注释的方式来表示规格，每行以@起头。其中行注释为“//@annotation”，块注释为“/*@ annotation... @*/”。 常用表达式有以下几种： \public normal_behavior：表达方法在正常情况下应 阅读全文
摘要：
一、设计策略 （1）第五次作业 第一次作业是个傻瓜电梯，采用的调度策略非常简单。程序中有两个线程，一个线程进行请求的读入并将其按顺序存入队列中，电梯线程一次从请求队列的头取出一个请求并执行。 （2）第六次作业 第二次作业依旧是有一个线程进行请求的读入并将其存入请求队列中，同时增加了调度器线程，电梯将 阅读全文
摘要：
一、基于度量的程序结构分析 （1）第一次作业 第一次作业对面向对象的理解还不够，总体分成了三个类，分别是包含主函数的Diff，处理字符串的InputChecker和进行求导的Calculate。因为对正则表达式不够熟悉还不能熟练运用，本次作业采用了状态机的进行字符串处理。采用状态机的优点在于思路较为 阅读全文