面向对象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在软件开发中的作用,以及如何根据规格说明书编写符合预期功能的代码。同时,它也考察了学生的问题解决能力、代码组织和测试实践。
![](https://csdnimg.cn/release/download_crawler_static/86274706/bg1.jpg)
下载后可阅读完整内容,剩余6页未读,立即下载
![pdf](https://img-home.csdnimg.cn/images/20210720083512.png)
![pdf](https://img-home.csdnimg.cn/images/20210720083512.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![zip](https://img-home.csdnimg.cn/images/20210720083736.png)
![docx](https://img-home.csdnimg.cn/images/20210720083331.png)
![zip](https://img-home.csdnimg.cn/images/20210720083736.png)
![zip](https://img-home.csdnimg.cn/images/20210720083736.png)
![zip](https://img-home.csdnimg.cn/images/20210720083736.png)
![rar](https://img-home.csdnimg.cn/images/20210720083606.png)
![](https://profile-avatar.csdnimg.cn/b4390b3bcf3b4701bbe4d333182e455a_weixin_35757531.jpg!1)
- 粉丝: 388
- 资源: 298
我的内容管理 展开
我的资源 快来上传第一个资源
我的收益
登录查看自己的收益我的积分 登录查看自己的积分
我的C币 登录后查看C币余额
我的收藏
我的下载
下载帮助
![](https://csdnimg.cn/release/wenkucmsfe/public/img/voice.245cc511.png)
最新资源
- Hadoop生态系统与MapReduce详解
- MDS系列三相整流桥模块技术规格与特性
- MFC编程:指针与句柄获取全面解析
- LM06:多模4G高速数据模块,支持GSM至TD-LTE
- 使用Gradle与Nexus构建私有仓库
- JAVA编程规范指南:命名规则与文件样式
- EMC VNX5500 存储系统日常维护指南
- 大数据驱动的互联网用户体验深度管理策略
- 改进型Booth算法:32位浮点阵列乘法器的高速设计与算法比较
- H3CNE网络认证重点知识整理
- Linux环境下MongoDB的详细安装教程
- 压缩文法的等价变换与多余规则删除
- BRMS入门指南:JBOSS安装与基础操作详解
- Win7环境下Android开发环境配置全攻略
- SHT10 C语言程序与LCD1602显示实例及精度校准
- 反垃圾邮件技术:现状与前景
![](https://img-home.csdnimg.cn/images/20220527035711.png)
![](https://img-home.csdnimg.cn/images/20220527035111.png)
![](https://csdnimg.cn/release/wenkucmsfe/public/img/green-success.6a4acb44.png)