自测过程中如何利用JML规格来准备测试数据 在整个第三单元的JML语言的学习下来，确实能够感觉到这真的是一门描述十分清晰的语言，从我们输入的数据的要求，数据中间变化的要求，再到输出数据的要求在JML中都是有较为严格的规定的，这也就为我们这个单元进行自测提供了不小的便利。具体如下：
一、结构分析 （一）第一次作业 1、作业要求 本次作业要求为根据Group，Network，Person三个接口内部使用JML语言描述的方法，实现相应的三个类，模拟一个社交网络中的群体、个体及其关系；实现六个抽象异常类，要求具有计数功能。 2、模型架构 首先构建三个基本类MyGroup，MyNetwork，MyPerson。MyGro
OO第三单元总结——JML系列 一、设计策略 浏览JML规格，看大致实现了什么功能 完成MyPerson,MyGroup,MyMessage等耦合度比较低的类，进一步理解题目 完成异常类 实现MyNetwork类 进行优化 在实现一个比较复杂的方法时： 分辨出条件并使用if语句分开 实现所有的 except
OO_第三单元总结 1.JML语言的理论基础及其工具链 JML语言的理论基础 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言（Behavior Interface Specification Language，BISL），基于Larch方法构建。BISL提供了对方法和类型的规格定义
OO第三单元总结 目录OO第三单元总结一、JML理论基础与工具链理论基础工具链二、SMT Solver三、JMLUnitNG四、我的架构设计——以第三次作业为例五、BUG六、体会 一、JML理论基础与工具链 理论基础 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言，即
