摘要：
（1）总结本单元两次作业的架构设计 第一次作业 第一次作业设计Uml类图的构建和查询，单独构建了ClassGraph类进行管理，由于涉及类和接口的查询和构建内容比较多，因此设计了ClassInfo和InterFaceInfo两个类分别进行类和接口的管理，并作为构建ClassGraph的组成部分。 考 阅读全文
摘要：
（1）JML语言理论基础，应用工具链情况 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。通过JML及其支持工具，不仅可以基于规格自动构造测试用例，并整合了SMT Solver等工具 以静态方式来检查代码实现对规格的满足情况。 几个重要部分 r 阅读全文
摘要：
第一部分：三次作业设计策略分析 第五次作业 电梯建了一个类，电梯管理着楼层信息，包括哪一层有哪些人要接，哪些人要送 调度器建了一个类，管理电梯的调度，维护一个Target队列，每次新来一个人，调度器会更新Target，电梯每进来一个人，也会更新Target； 程序开始，电梯从调度器得到一个targe 阅读全文
摘要：
基于度量的三次作业分析 三次作业围绕表达式求导，由一开始的幂函数简单情形，到第二次引入正余弦，再到最后一次的引入复杂的嵌套表达式。这样一个递进的过程，确实体会到了面向对象的核心思想。 我采用的是IDEA的Metric Reloaded插件，以下是用法简介： Complexity Metrics ev 阅读全文