张明辉

摘要： 1 架构设计 经过了接近一学期的程序设计训练，在这一单元的第一次作业中我就非常注重架构的设计，竭力避免像之前一样陷入“第一次作业凑合，第二次作业重构”的不健康的迭代模式。整体上来说，我对我本次作业的架构还是很满意的。废话不多说了，直接上类图： 从类图也可以看出来，整体的架构非常工整。 类是整个程序的 阅读全文

摘要： 1 JML语言的理论基础及应用工具链 1.1 JML语言 Java建模语言(JML)是一种行为接口规范语言，可用于指定Java模块的行为。它结合了Eiffel的“契约设计(design by contract)”方法和Larch系列接口规范语言的基于模型的规范方法，以及细化演算的一些元素。对JML语 阅读全文

摘要： 1 三次作业的设计策略 经过了上一单元的训练，我也积累了一些设计策略上的经验。在这一单元的一开始，我便尽可能地把问题中的各个功能实体区分开来，分别封装成类，以便于随后作业中新需求的加入。与此同时，我也在有意地控制住方法的规模，依照程序逻辑层次化地设计方法，使得每个方法都不至于过分臃肿，从而增加代码的 阅读全文

摘要： 2019年北航OO第1单元(表达式求导)总结 1 基于度量的程序结构分析 量化指标及分析 以下是三次作业的量化指标统计： 关于图中指标在这里简要介绍一下： ev(G)：基本复杂度，用来衡量程序非结构化程度。基本复杂度高意味着非结构化程度高，难以模块化和维护。 Iv(G)：模块设计复杂度，用来衡量模块 阅读全文