irtovo

摘要： OO第四单元总结 架构设计 由于三次作业为迭代开发，没有进行重构，现选取第三次作业的架构进行分析： 架构分析： 定义MyUmlClassModelInteraction, MyUmlCollaboratonInteraction ,MyUmlStateChartInteraction三个类，分别实现 阅读全文

摘要： JML理论基础 JML（java Modeling Language）是用于对Java程序进行规格化设计的一种表示语言。 一般而言，JML有两种主要的用法: 开展规格化设计 针对已有的代码实现，书写其对应的规格，从而提高代码的可维护性。 本次作业即为JML开展规格化设计。根据给出的规格，实现各种方法 阅读全文

摘要： OO第二单元博客总结 同步块的设置和锁的选择 三次作业用到的都是依靠synchronized对线程进行同步。 主要是以下情况进行同步： 多个线程读写同一个队列互斥 保证输出线程安全，使得各个线程的输出严格按照时间戳 使用wait(),notifyAll()避免轮询，让各个线程能正常交锁以及被唤醒。 阅读全文

摘要： 基于度量的程序结构分析 ev(G)：即Essentail Complexity，用来表示一个方法的结构化程度，范围在[1,v(G)]之间，值越大则程序的结构越“病态”，其计算过程和图的“缩点”有关。 iv(G)：即Design Complexity，用来表示一个方法和他所调用的其他方法的紧密程度，范 阅读全文