甜宝YC

摘要： 一、总结本单元两次作业的架构设计 （1）第一次作业 第一次作业基于不同element在UML规格中的从属关系来设计架构。在构造顶层MyUmlInteraction类时，需要对加入进来的每一个element进行分析，判断它的ElementType并根据parentId以及其他性质决定它的存储位置。 对 阅读全文

摘要： 本次作业的要求为： 针对第三单元的三次作业和课程内容，撰写技术博客 (1)梳理JML语言的理论基础、应用工具链情况 (2)【改为选做，能较为完善地完成的将酌情加分】部署SMT Solver，至少选择3个主要方法来尝试进行验证，报告结果 • 有可能要补充JML规格 (3)部署JMLUnitNG/JML 阅读全文

摘要： 第二单元（电梯）总结性博客作业 一、从多线程的协同和同步控制方面，分析和总结自己三次作业的设计策略。 第一次电梯作业（多线程、单电梯、非捎带）：在第一次作业中我一共设置了五个类：Test类包含主函数，负责实例化进程，并将共享类作为参数传入两个线程；Poly类存储请求，每个请求对应一个Poly；Req 阅读全文

摘要： （一）基于度量来分析自己的程序结构 由于平时使用了NetBrains出品的IDEA作为IDE，在分析程序的时候我使用了IDEA的插件Metrics Reloaded。然而在使用时发现不懂得很多分析项目的含义，因此花费了一些时间了解，并在这里总结。 Complexity Metrics（复杂度分析） 阅读全文