2019年6月22日

2019-北航面向对象-UML作业总结

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

posted @ 2019-06-22 16:40 甜宝YC 阅读(340) 评论(0) 推荐(0) 编辑

2019年5月22日

2019-北航面向对象-JML作业总结

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

posted @ 2019-05-22 19:12 甜宝YC 阅读(231) 评论(0) 推荐(0) 编辑

2019年4月19日

2019-北航面向对象-电梯作业总结

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

posted @ 2019-04-19 21:52 甜宝YC 阅读(335) 评论(0) 推荐(0) 编辑

2019年3月25日

2019-北航面向对象-求导作业总结

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

posted @ 2019-03-25 18:49 甜宝YC 阅读(269) 评论(0) 推荐(0) 编辑

导航