hitse lab2-CSDN博客

针对给定的应用问题，从问题描述中识别所需的ADT；
设计ADT规约（pre-condition、post-condition）并评估规约的质量；
根据ADT的规约设计测试用例；
ADT的泛型化；
根据规约设计ADT的多种不同的实现；针对每种实现，设计其表示（representation）、表示不变性（rep invariant）、抽象过程（abstraction function）
使用OOP实现ADT，并判定表示不变性是否违反、各实现是否存在表示泄露（rep exposure）；
测试ADT的实现并评估测试的覆盖度；
使用ADT及其实现，为应用问题开发程序；

在测试代码中，能够写出testing strategy并据此设计测试用例。

实验环境配置

使用idea，右上角自带覆盖率测试。

GitHub Lab2仓库的URL地址：https://github.com/ComputerScienceHIT/HIT-Lab2-120L020310

实验过程

请仔细对照实验手册，针对两个问题中的每一项任务，在下面各节中记录你的实验过程、阐述你的设计思路和问题求解思路，可辅之以示意图或关键源代码加以说明（但千万不要把你的源代码全部粘贴过来！）。

1. Poetic Walks

该任务主要是实验一个图的类的创建，并应用于poet。

完成Graph接口类，将String拓展为泛型L类，实现vertices，edges，ConcreteEdgesGraph，ConcreteVerticesGraph四个类的各种方法和属性；
利用实现的Graph类，应用图的思想，实现GraphPoet类，如果输入的文本的两个单词之间存在桥接词，则插入该桥接词；若存在多个单一桥接词，则选取边权重较大者。

1. 1. Get the code and prepare Git repository

进入如下网址：https://github.com/rainywang/Spring2021_HITCS_SC_Lab2/tree/master/P1，下载zip文件即可。

1. 1. Problem 1: Test Graph <String>

首先，测试静态方法生成String类型的Graph。

1. 1. Problem 2: Implement Graph <String>

以下各部分，请按照MIT页面上相应部分的要求，逐项列出你的设计和实现思路/过程/结果。

1. 1. 1. Implement ConcreteEdgesGraph

首先实现edge类。Edge的功能主要为存储边的3个信息，即发出边的顶点source，边指向的顶点target，以及边的权值。其中，权值需要大于0。

分别设计了chechkRep，add，set，remove方法进行生产graph操作，此外，设计了vertices，source，target方法得到顶点，边的集合。

测试截图

1. 1. 1. Implement ConcreteVerticesGraph

测试截图

1. 1. Problem 3: Implement generic Graph<L>
    1. Make the implementations generic

选择“String”并更改所有匹配项，即可实现泛化类型。

1. 1. 1. Implement Graph.empty()

使Graph.empty()能返回一个新的空instance。代码如下：

public static Graph<String> empty() {

return new ConcreteEdgesGraph();

}

1. 1. Problem 4: Poetic walks

我们需要根据corpus中的文本，生成一个图来存放单词，然后给定一个输入，在图中搜索词之间的关系，自动补全语句中可能可以完善的部分。

1. 1. 1. Test GraphPoet

在基于预设的测试用例基础上，增加等价类划分的多种情况，即两个单词之间不存在连接词，两个单词之间只有一个连接词，两个单词之间有多个连接词时的不同情况。

1. 1. 1. Implement GraphPoet

首先我们需要确保所有的点都不为空。

接下来我们构造函数。首先用文件读取来输入单词，split()切片函数分割为数组，通过String.toLowerCase()全部小写。

然后创建图，即相邻的单词加边。首先要在加边前通过Graph.add()加点，同时加边时要判断是否存在。

1. 1. 1. Graph poetry slam

使用自带的样例“This is a test of the Mugar Omni Theater sound system.”进行测试，测试成功。

测试通过

1. 1. Before you’re done

请按照Problem Set 2: Poetic Walks的说明，检查你的程序。

如何通过Git提交当前版本到GitHub上你的Lab2仓库。

在这里给出你的项目的目录结构树状示意图。

1. Re-implement the Social Network in Lab1

在这里简要概述你对该任务的理解。

1. 1. FriendshipGraph类

首先我们可以直接调用Graph.empty()静态方法生成一个空的图，构建方法int addVertex()来调用添加点，构建方法int getDistance(）来得到两点之间最短距离。

getDistance方法首先判断起止点是否相等。若不相等，则新建Map<Person, Integer> dis表示从起始点开始到该Person的距离，以及List<Person> viited表示该Person是否访问过。初始化后，把起点标记为已经访问。然后开始BFS搜索，找到终点为止。

1. 1. Person类

该类使得每一个人的个体对应到一个Person对象，其对象存储名字的信息。为了安全性考虑，String Name设置为私有且不可变的。并且设计了构造函数，在构造函数中将Name初始化。

1. 1. 客户端main()

设计代码如下：

public class FriendshipGraphTest {

/**

* Basic Network Test

@Test

public void Test1() {

final FriendshipGraph graph = new FriendshipGraph();

final Person rachel = new Person("Rachel");

final Person ross = new Person("Ross");

final Person ben = new Person("Ben");

final Person kramer = new Person("Kramer");

assertEquals(true, graph.addVertex(rachel));

assertEquals(true, graph.addVertex(ross));

assertEquals(true, graph.addVertex(ben));

assertEquals(true, graph.addVertex(kramer));

assertEquals(0, graph.addEdge(rachel, ross));

assertEquals(1, graph.addEdge(ross, rachel));

assertEquals(0, graph.addEdge(ross, ben));

assertEquals(1, graph.addEdge(ben, ross));

assertEquals(1, graph.getDistance(rachel, ross));

assertEquals(2, graph.getDistance(rachel, ben));

assertEquals(0, graph.getDistance(rachel, rachel));

assertEquals(-1, graph.getDistance(rachel, kramer));

}

/**

* Further Test

@Test

public void Test2() {

final FriendshipGraph graph = new FriendshipGraph();

final Person a = new Person("A");

final Person b = new Person("B");

final Person c = new Person("C");

final Person d = new Person("D");

assertEquals(true, graph.addVertex(a));

assertEquals(true, graph.addVertex(b));

assertEquals(true, graph.addVertex(c));

assertEquals(true, graph.addVertex(d));

assertEquals(0, graph.addEdge(a, b));

assertEquals(0, graph.addEdge(a, d));

assertEquals(0, graph.addEdge(b, d));

assertEquals(0, graph.addEdge(c, d));

assertEquals(1, graph.getDistance(a, d));

assertEquals(2, graph.getDistance(c, b));

}

1. 1. 测试用例

根据lab1中给出的社交网络示例

分别测试：

Rachel和Ross距离是1，Rachel和Ben距离是2
Rachel和Rachel距离是0

Rachel和Kramer距离是-1

1. 1. 提交至Git仓库

用idea自带的VES工具提交到github库。

实验进度记录

请使用表格方式记录你的进度情况，以超过半小时的连续编程时间为一行。

每次结束编程时，请向该表格中增加一行。不要事后胡乱填写。

不要嫌烦，该表格可帮助你汇总你在每个任务上付出的时间和精力，发现自己不擅长的任务，后续有意识的弥补。

日期	时间段	计划任务	实际完成情况
2022-05-22	15:30-17:30	总览代码，修改参数完成静态检测	完成
2022-05-22	19:30-20:30	设计ConcreteEdgsGraph类	未按计划完成
2022-05-23	8:00-11：40	设计ConcreteEdgsGraph类	按计划完成
2022-05-23	14:00-17:00	为ConcreteEdgsGraph类设计测试类	按计划完成
2022-05-24	18:30-22:30	设计ConcreteVerticesGraph类	未按计划完成
2022-05-25	8:00-11:00	设计ConcreteVerticesGraph类	按计划完成
2022-05-25	15:00-17:00	为ConcreteVerticesGraph类设计测试类	未按计划完成
2022-05-25	19:00-21:00	为ConcreteVerticesGraph类设计测试类	按计划完成
2022-05-26	8:00-11:00	设计GraphInstanceTest类	未按计划完成
2022-05-26	18:00-22:00	设计GraphInstanceTest类	按计划完成
2022-05-26	8:00-11:00	设计GraphPoet类	按计划完成
2022-05-26	18:00-23:00	设计Person和FriendshipGraph类	按计划完成

实验过程中遇到的困难与解决途径

遇到的难点	解决途径
题目要求在英文原网页下没太看懂，没能理解实验目的	查阅资料，询问同学
ConcreteEdgsGraph类和ConcreteVerticesGraph类设计过程，对数据结构图的使用生疏	借鉴过去数据结构中c语言的图的创建与修改方法，在java语言中重新实现。
For循环下map的直接remove方法不能真正删除键值对	用迭代器Iterator的remove方法来删除map中不需要的信息。