摘要：
(1) 分析在本单元自测过程中如何利用JML规格来准备测试数据 没有用JUNIT测试方法，主要是针对JML规格中的异常出现情况，以及基本的JML大意来构造测试数据。 (2) 梳理本单元的架构设计，分析自己的图模型构建和维护策略 本单元的架构比较明了，就是简单的网络模型——MyNetWork。 其中有 阅读全文
2022年6月3日
2022年4月28日
摘要：
一、总结分析三次作业中同步块的设置和锁的选择，并分析锁与同步快中处理语句之间的关系 作业1： 同步块设置在dispatch类中，dispatch存放了输入线程和电梯线程之间的共享队列，其实质是电梯线程的外部请求队列。锁即dispatch类对象。同步块中处理语句，主要聚焦于外部请求队列的读和写，上锁就 阅读全文
2022年3月25日
摘要：
历时4周，完成北航2022OO课程unit1，写此blog进行总结纪念。 一、基于度量来分析自己的程序结构 Main： 程序入口。在此进行各个类的聚合，最终得到结果。 In: 输入处理类。在此进行输入的字符串的预处理，包括最终表达式和函数定义。 Parser： 递归下降解析表达式。包括Expr和Te 阅读全文