面向对象JML社交关系模拟系统编程作业指南

本次面向对象JML系列第三次代码作业指导书主要关注于软件开发中的面向对象编程和需求规格说明书（JML）的应用。作业目标是设计并实现一个社交关系模拟系统，该系统能够支持数据的增删查改等基本操作。学生需要遵循以下关键点： 1. 代码原创性：作业要求学生独立编写代码，禁止提交官方提供的包代码，也不允许直接复制官方包的JML或代码。抄袭行为将被视为严重违反规定。 2. 理解与设计：JML规格是用来描述需求的形式化语言，学生应首先理解整体需求，而不是单纯依赖规格来编写代码。这强调了需求分析和设计的重要性。 3. 实现接口：学生需自定义并实现`MyPerson`、`MyNetwork`和`MyGroup`类，这些类需继承官方提供的`Person`、`Network`和`Group`接口，并确保代码完全符合给出的JML规格。 4. 构造方法：`MyPerson`类的构造函数需要接收四个参数：独一无二的ID、姓名、性格（以`BigInteger`表示）和年龄。网络类`Network`同样需要一个构造方法，用于生成网络对象。 5. 程序运行：学生要在主类中通过调用官方包的`Runner`类，加载他们自己实现的类，以确保程序能正确运行。这涉及到类之间的协作和集成。 6. 测试方法：作业将采用黑盒测试，包括公测、互测和bug修复，测试规则需要按照文档中的说明执行。 7. 类规格：对于`Person`和`Network`类，具体的接口规格已经在官方包的开源代码中给出，但未在摘要中详述，学生需要仔细研究并确保代码实现符合这些规格。 这个作业旨在培养学生的面向对象编程技巧，理解JML在软件开发中的作用，以及如何根据规格说明书编写符合预期功能的代码。同时，它也考察了学生的问题解决能力、代码组织和测试实践。