lethean1-优快云博客

原创 UnitFourSummary&Final

目录一、本单元三次作业架构设计二、四个单元中架构设计及OO方法理解的演进三、四个单元中测试理解与实践的演进四、课程收获五、改进建议六、线上学习OO的体会一、本单元三次作业架构设计第13次作业第13次作业的输入处理我采取了自顶向下的拆分策略。即先拆解出Class、Interface和AssociationEnd，然后再拆解出Attribute、Operation、Association、Generalization和InterfaceRealization

2020-06-18 22:36:49 198

原创 UnitThreeSummary

目录一、JML理论基础与应用工具链情况二、SMT Solver 三、部署JMLUnitNG/JMLUnit 四、作业架构设计五、作业代码实现的Bug和修复情况六、规格撰写和理解上的心得体会一、JML理论基础与应用工具链情况 1、方法规格：前置条件：通过requires子句来表示： requires P; 。其中requires是JML关键词，表达的意思是“要求调用者确保P为真”。方法规格中可以有多个requires子句，是并列关系，即调用者必须同时满足所有的并列子句要求。后置条件：通

2020-05-20 15:15:01 137

原创 UnitTwoSummary

目录一、作业设计策略第一次作业第二次作业第三次作业二、第三次作业架构设计可扩展性三、度量分析四、BUG分析五、Hack策略六、心得体会一、作业设计策略第一次作业思路：第一次作业较为简单，只是单部的可捎带电梯。但由于笔者博客周摸鱼对多线程啥都不会，一度十分绝望视死如归，代码架构分为三个部分：输入线程、调度器和电梯线程。应用的是典型的生产者-消费者模型，调度器作...

2020-04-16 21:28:43 157

原创 UnitOneSummary

目录一、程序结构分析第一次作业第二次作业第三次作业二、Bug分析三、测试四、对象创建模式五、对比和心得体会一、程序结构分析第一次作业思路：第一次作业较为简单。由于只涉及到幂函数求导，所以我只抽象除了多项式和单项式两个类。输入的处理是直接用正则匹配。求导的时候根据求导规则对幂函数的指数和系数进行运算。单项式们的存储方式是HashMap，以指数为key值，单项式类为v...

2020-04-16 13:50:52 139

原创 OOUnitTwo

OOUnitTwo 目录一、关于多部可捎带可换乘电梯优化二、奇奇妙妙的Bug们三、关于死锁一、优化配合Look调度食用在换乘方面没啥可说的，事实证明我的方法没有打表好。具体电梯分配策略：每个电梯都拥有两个队列，requestlist（外部还没上电梯的等待队列，后面简称为rlist），innerlist（电梯内部已经上来了的请求队列，后面简称ilst）。每个电梯都拥有一个Elev...

2020-04-15 00:45:21 284

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人