2020软件构造Lab2报告（原3.1问题）

最新推荐文章于 2022-06-27 11:00:41 发布

景行不仰止

最新推荐文章于 2022-06-27 11:00:41 发布

阅读量368

点赞数

分类专栏：软件构造文章标签： java

本文链接：https://blog.csdn.net/Ranger_B/article/details/106178084

版权

软件构造专栏收录该内容

3 篇文章 0 订阅

订阅专栏

1.1 Poetic Walks的实现

本问题采用了先写测试样例再写具体方法的的顺序，静态测试全在GraphStaticTest.java中，实例方法测试在GraphInstanceTest.java中。

写出相应的测试文件，再分别用点和边实现一个图，以Graph为接口在ConcretEdgesGraph和ConcreteVertexGraph中实现定义的各个函数。

在poet中读入给定文本，相邻词之间构成一条有向边，从而构成一棵树，再输入给定的句子，若相邻词之间有一个词，则插入，有多个，选择插入权值最大的。

1.1.1 Get the code and prepare Git repository

git init 进行本地初始化

git clone +URL 获取初始代码，由于github连接问题，我是直接下载zip包获得初始代码。

1.1.2 Problem 1: Test
Graph

思路及过程：

add函数：判断vertex是已存入Graph的点还是为存入的点

set函数：source,target：已存入Graph的点、未存入Graph的点

     weight：是否未0

remove函数：判断vertex是已存入的点、未存入的点还是与其他点相连的点

vertices函数：判断Graph是否为空图

sources函数：建立一个空Map，遍历edges，找出以target为终点的边edge；

weight=0时表示该边不存在，跳过；将edge.source->edge.weight加入Map。遍历结束后返回这个Map。

targets函数：建立一个空Map，遍历edges，找出以source为起点的边edge；

weight=0时表示该边不存在，跳过；将edge.source->edge.weight加入Map，遍历结束后返回这个Map

并编写覆盖以上条件的测试用例

1.1.3 Problem 2: Implement
Graph

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

1.1.3.1 Implement ConcreteEdgesGraph

3.1.3.1.1ConcreteEdgesGraph实现

该类以Edge为基础重写Graph，用集合来存储点和边（Edge），每有Edge的增加就会影响到集合的更改，而点的删除也需要在集合中查询匹配。

public boolean add(String vertex)

思路：如果在vertices的Set集合中成功添加了顶点string，则返回true

public int set(String source, String
target, int weight)

思路：输入source，target，weight，确定一条有向边。

如weight！=0，移去可能已经存在的相同起始点的边，然后加入新的边，如weight=0，寻找可能已经存在的相同起始点的边，删去。

在这里插入图片描述

public boolean remove(String vertex)

思路：从vertices中删去，传入的参数vertex点，遍历edges，寻找是否有边的起点或者是终点是该vertex，删去。

public Map<String, Integer>
sources(String target)

思路：根据传入的target参数寻找以targe为终点的边。返回一个键值对为（点，权重）的map。利用迭代器实现。

其余较简单，略。

3.1.3.1.2 Edge实现

Edge的功能主要为存储边的3个信息。此外，为了Graph实现方便，增加了判断两条边是否相等的方法。

Edge：使用三个数据域声明一条新边

  private String source;

   private String target;

   private int weight;

getSource：返回source

getTarget：返回target域

getWeight域：返回

toString：交代边的各参数

checkRep：检查不变量，source、target非空，weight>0

在这里插入图片描述

1.1.3.2 Implement ConcreteVerticesGraph

1.1.3.2.1
ConcreteVerticesGraph实现

ConcreteVerticesGraph是以点为基础的图，每个点通过唯一的标识进行区分，set和remove都依赖与Vertex类中的添加和删除操作，sources和targets也调用了Vertex类的方法。

add

参数：vertex，判断vertices中无重复点就加入

set

参数：source, target, weight。先将可能不在vertices中的source点和target加入vertices。随后遍历vertices，找到source对它增加一个target，找到target为它增加一个source，并设置距离。

remove

参数：vertex。遍历vertices，如果当前点是vertex，删去（使用iterator.remove方法，有要求）。若不是，检查它的source和target是否包含vertex，有就删去。

sources

参数：target。遍历vertices找到target点返回它的sources map（注意防御性拷贝）

targets

参数：source。遍历vertices找到source点返回它的targets map（注意防御性拷贝）

toString

输出一个字符串表示当前图

在这里插入图片描述

1.1.3.2.2
Vertex类

Vertex是点的抽象类，包含3个信息域：点的标识、进入边、走出边。Vertex需要能访问这3个信息，以及增加/删除进边/出边。

Vertex：构造方法，传入参数name创建新的点。

checkRep：检查表示不变性，各边weight的值应该永远大于0

removeSource：删去当前点的指定source

removeTarget：删去当前点的指定target

toString ：输出能看懂的当前点信息

setTarget：为当前点新增一个target，如果weight=0，删去当前点的target，成功返回删去target的weight，不存在返回0。如果weight！=0，为当前点新增一个target，长度为weight，如果该点已存在，返回旧的weight，否则返回0。setSouce 为当前点新增一个source，

如果weight=0，删去当前点的source，成功返回删去source的weight，不存在返回0。如果weight！=0，为当前点新增一个source，长度为weight，如果该点已存在，返回旧的weight，否则返回0

实现方法同上
在这里插入图片描述