HIT 软件构造 2： Lab2 P1 graph的实现过程与问题解决

目录

1. 实验环境配置

2. 实验过程

2.1 Problem 1: Test Graph

2.2 Problem 2: Implement Graph

2.2.1 Edge实现

2.2.2 Vertices实现

2.3 Problem 3: Implement generic Graph

2.3.1 Make the implementations generic

2.3.2 Implement Graph.empty()

3. 可能出现的问题与解决方法

---

1. 实验环境配置

需要安装EclEmma，直接在EclipseMarketplace中安装。

进入Help\Eclipse Marketplace，搜索EclEmma，进行安装。

（补充） idea自带，无需下载。

2. 实验过程

2.1 Problem 1: Test Graph <String>

注意到GraphStaticTest 里面的检测方法如下：

首先将Graph里的empty()方法修改为：

并将ConcreteEdgesGraph()里的的vertices中返回vertices。

此时通过运行GraphStaticTest，得到如下结果。

针对GraphInstanceTest ，设计测试策略如下。

2.2 Problem 2: Implement Graph <String>

这部分需要实现Graph，区分使用Edge和Vertices实现两种方法。（这部分是本部分的最大工作量）

2.2.1 Edge实现

1. 实现Edge类

定义两个private final的String类型source和target存放边的开始点和结束点，用int的weight保存权值。

AF、RI和Safety from rep exposure如下：

Constructor如下：

checkRep如下：

方法有：

SourceVertex	返回边的开始点
TartgetVertex	返回边的结束点
getWeight	返回边的权值
toString	用字符串表明边的属性，从开始的source到终止的target，权值为weight

2. 实现ConcreteEdgesGraph

题目已给定义如下：

AF、RI和Safety from rep exposure如下：

Constructor如下：

方法有：

add	先查找有无此点，无此点进行添加，返回true，有的话，返回false。
set	Weight小于0，返回-1。后面先在已有的边里查找，如果有同样的边先进行删除。如果有点没有再进行添加。最后将weight>0的边添加到边集合里。
remove	如果存在该点，遍历边集，将所有的与该点有关的边置于一新集合内。新集合不空的话，将边集里的对应边删除。如果不存在，返回false。
vertices	返回点vertices的名字的集合
sources	遍历边集，将所有以vertex为终止点的边置于新集合内，返回新集合。
targets	遍历边集，将所有以vertex为起始点的边置于新集合内，返回新集合。
toString	将所有的边以边的表示形式表示出来并进行链接，返回连接后的字符串。

3. 测试类的策略

检查Test的结果与覆盖率如下：

2.2.2 Vertices实现

点实现相对边实现可能麻烦些，边可以自带相邻点的信息，点的话就需要用两个Map来存放两个有向图信息。

1. 实现Vertex类

定义一个private final的String类型name存放点的名称，用Map<String, Integer>的sourceMap和targetMap表示经有向边到此点的点和此点经有向边到达的点，以及他们对应边的权值。

AF、RI和Safety from rep exposure如下：

Constructor如下：

checkRep如下：

方法有：

setSource	根据传入的source和weight设置一条从source到此点的边。如果weight为0，删除对应边。weight>0，更新对应边的权值。返回值为修改前的权值。首先先寻找在已有的sourceMap里寻找是否有source，有的话删除，并记录权值。如果weight>0，增加一个新的对应关系(source, weight)。
setTarget	根据传入的target和weight设置一条从此点到target的边。如果weight为0，删除对应边。weight>0，更新对应边的权值。返回值为修改前的权值。首先先寻找在已有的targetMap里寻找是否有target，有的话删除，并记录权值。如果weight>0，增加一个新的对应关系(source, weight)。
getSource	返回sourceMap表
getTarget	返回TargetMap表
getName	返回name字符串
toString	只考虑以此点为出发点的边输出，先定义空字符串。读取targetMap里的所有的target和weight，连接后输出。

2. 实现ConcreteEdgesGraph

题目已给定义如下：

AF、RI和Safety from rep exposure如下：

Constructor如下：

checkRep如下：

方法有：

add	先查找有无此点，无此点添加新的Vertex，返回true，有的话，返回false。
set	Weight小于0，返回-1。先在所有的点中寻找source和target，如果没有，新建对应节点。在Vertex中遍历节点，将source的Target用setTarget修改，并记录返回值。Target同理。
remove	先查找点，如果点不存在，返回false。存在，先删除点，再查找所有点的source和target。把与这个点相关的有set方法删除。
vertices	新建点vertices名字的集合，一个个填充。返回点vertices的名字的集合
sources	返回点的getSource()
targets	返回点的getTarget()
toString	将所有的点以点的表示形式表示出来并进行链接，返回连接后的字符串。

3. 测试类的策略

检查test结果与覆盖率如下：

2.3 Problem 3: Implement generic Graph<L>

2.3.1 Make the implementations generic

使用泛型实现。简单来讲，就是让原来只能用String类型可以用任意其他类代入实现。（为P2开路）

将ConcreteEdgesGraph的Edge类改为：

并根据Eclipse的报错提示，修改Edge类下的错误。主要是将String修改为L。（toString不修改）

将ConcreteEdgesGraph类的定义修改为：

然后继续根据Eclipse的报错提示，修改错误。是将String修改为L或者将Edge定义修改为Edge<L>。

对ConcreteVerticesGraph同理。修改为泛型，根据报错提示修改。

2.3.2 Implement Graph.empty()

将Graph.empty修改如下：

调用测试实现。

3. 可能出现的问题与解决方法

 1.测试的时候别忘记@Test，用Junit去运行。要是报错多去搜索报错信息，百度足矣。

留一个示例，其他就是自己设计的问题，测试需要包括所有情况，这个可以用代码覆盖度查看：

2. 在运行Vertices时第一个测试出问题（貌似就我出现这种情况了），即下面这个测试出错

右击Vertices类程序测试代码，选择Run Configuration ，确定是否有-ea，没有补充

3. 对集合Set而言，使用for(Edge<L> edge : edges)作为迭代器时，如果remove后不进行break，可能导致迭代器出错。可以有两种解决方法，一是找到，删了，直接break；二是保存进一个新的Set集合，形成一个需要删除的集合，然后针对新集合元素，删除原集合元素，代码如下：

@Override public boolean remove(L vertex) {
    	List<Edge<L>> E = new ArrayList<>();
    	// 存在此点
    	if(vertices.contains(vertex)) {
    		// 删除所有与这个点有关的边
    		for(Edge<L> edge : edges) {
    			if (edge.SourceVertex().equals(vertex) || edge.TargetVertex().equals(vertex)) {
    				E.add(edge);
    			}
    		}
    		if (E.isEmpty()==false) {
				for(Edge<L> edge : E) {
					edges.remove(edge);
				}
			}
    		vertices.remove(vertex);
    		checkRep();
    		return true;
    	}
    	// 不存在此点
    	else {
			checkRep();
			return false;
		}
    }

4 感悟

1. ADT确实好用，但是需要在各个部分加以要求。

2. 泛型的目的是让任意类都能成为处理目标，在ADT实现中能很好的补充功能，让程序有更高兼容性。