首页
新闻
博问
会员
闪存
班级
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
StyWang
博客园
首页
新随笔
联系
订阅
管理
2022年6月29日
第四单元总结
摘要: 第四单元总结 本单元实现了一个UML解析器,支持对UML类图、状态图、顺序图的解析,以及简单的规范性验证。 1. 架构设计 本单元中仍然进行了层次化设计。由于输入的UMLElement是无层次结构的元素集合,因此架构重点是根据类图、状态图、顺序图的各种元素的逻辑关系,为他们进行建模,重新组织起层次化
阅读全文
posted @ 2022-06-29 14:35 StyWang
阅读(20)
评论(0)
推荐(1)
编辑
2022年6月6日
第三单元总结
摘要: 本单元主要进行基于规格的层次化设计,在给定JML规格的基础上实现一个社交网络模拟系统。 1. 测试 在本单元的测试中,我选择了传统的随机生成数据的测试方法,事实证明我的这种选择是一把双刃剑。 1.1 两种测试方法对比 传统的随机数据方法的优点有: 测试过程不依赖于对JML规格的理解,只要对拍的人员内
阅读全文
posted @ 2022-06-06 14:22 StyWang
阅读(19)
评论(0)
推荐(1)
编辑
2022年5月2日
第二单元总结
摘要: 第二单元总结 1. 作业分析 模拟多线程实时电梯系统,支持换乘。 2. 架构设计 对每个楼层、每个楼座单独构建一个等待队列(PassengerGroup的实例),5个座、10层,共构建15个等待队列。每个等待队列负责该楼层或楼座的全部乘客,该楼层或楼座的所有电梯共享一个等待队列。 Controlle
阅读全文
posted @ 2022-05-02 01:45 StyWang
阅读(50)
评论(0)
推荐(1)
编辑
2022年3月25日
第一单元总结
摘要: 第一单元总结 目录 作业分析 本单元三次作业的任务是,输入一个满足形式化定义的字符串$Expre$,按数学意义将其解读,并拆去所有括号。可能含有自定义函数、求和函数、三角函数、幂函数。 第三次作业的形式化定义如下: \[ \begin{aligned} Expre &\rightarrow [+|-
阅读全文
posted @ 2022-03-25 20:55 StyWang
阅读(51)
评论(1)
推荐(1)
编辑