摘要: 第四单元代码架构 作业架构 -MyClass -MyOperation -MyParameter -MyAttribute -MyInterface -MyAttribute -MyGeneration -MyClass -MyInterface -MyStateMachine -MyRegion 阅读全文
posted @ 2022-06-28 14:05 马曦迪 阅读(15) 评论(0) 推荐(0) 编辑
摘要: 基于JML规格的测试方法 在第三单元的学习中,学习了JML的基本知识,基于JML规格逐步拓展我们要实现的社交网络。而在基于JML的编程可以认为是一种契约式编程,即我们需要读懂JML规格的要求,然后完成我们的任务以满足JML的要求,这里面就涉及到了前置条件,以及后置条件,以及如ensure和invar 阅读全文
posted @ 2022-06-05 17:36 马曦迪 阅读(46) 评论(0) 推荐(0) 编辑
摘要: 第五次作业分析 第五次作业是多线程单元的第一次作业,总体难度不大,对多线程的使用要求也较低,我们只需要设计一个输入线程,分发线程(scheduler),和电梯线程即可完成任务。 而为了能够使三者配合起来完成任务,我们需要利用到一个请求队列作为共享对象。基本思路是一个电梯对应的一个他需要处理的队列,电 阅读全文
posted @ 2022-04-30 17:12 马曦迪 阅读(16) 评论(0) 推荐(0) 编辑
摘要: 第一单元总结 第一单元架构图 UML类图 第一次作业分析 第一次作业要求完成最简单的表达式展开,但是开始的时候还是没有什么头绪。在仔细阅读了training给出的参考代码后,我开始试图从面向对象的角度来重新思考问题。其实我认为设计的架构可以由形式化表达自然而然的生成,即表达式 → 项 → 因子的思路 阅读全文
posted @ 2022-03-26 15:46 马曦迪 阅读(30) 评论(1) 推荐(0) 编辑