哈工大软件构造Lab2导读 - Stanford 6 _单词

文章目录二、实现两个ADT 三、 Walks 4.测试代码覆盖度四、重构Lab 1中的总结
前言
由于实验的介绍为MIT的全英文页面，要点分散，可能造成理解上的困难。所以在这里梳理总结一下软构lab2的整个流程，可以结合MIT的问题描述来看。希望能帮到后来的学弟学妹，不要拿到程序包直接两眼一抹黑，不知从何下手。
写下这篇文章是在完成实验后进行回忆，如有疏漏请多指正。
【哈工大软件构造Lab2导读 - Stanford 6】先简单总结Lab 2完成的工作：从将代码clone到本地，根据已有spec完成测试用例的编写（P1， 1），再分别编写两个ADT： h和的具体实现（P1，2 / 3）。之后，我们利用两个ADT分别实现具体的类，并完成一系列的工作（P1，4）。并重构我们在Lab 1中实现过的人际关系图（P2）
本实验的完成基于IDEA，可以方便地可视化代码覆盖度，所以没有涉及安装。
一、P1- 1：编写测试用例
按照TDD（Test- ，测试驱动开发）的策略，在编写具体实现之前，我们需要根据已有的spec设计出对应方法的测试。
1.
这一部分是对Graph.empty()的测试，可以先不用管，在完成3.2 实现Graph.empty()之前，这一块的代码是跑不起来的XD
对的补充也需要在 3.2中进行。
2.
这一部分是对Graph中的具体方法进行测试，需要好好构思构思，如果刚开始草草写了/没有考虑周全，那么在后面代码覆盖度过低，会反复回头来修改这部分，耽误很多时间！
具体而言，这一部分要按等价类划分的方法，编写测试用例。严格写下来的话，代码行数不少。举个栗子：
( )
测试( )方法，等价类划分如下：
删除点是否在图中：是，否
删除点是否有相连边：是，否
排除不可能的情况，共3个等价类，所以需要写三组测试。
另外，提醒考虑ADT对有环图的支持并测试，后续部分会用到。
二、实现两个ADT 1.AF，RI，from Rep.etc
具体实现两个ADT，首先要求我们撰写相信很多同学这是第一次实际写一个程序的AF、RI，这些概念的具体意义可以参见关于AF, RI, Rep
其实举个例子，照葫芦画瓢也还算容易。例如，对于，它的这些概念可以解释如下：
:
AF() = Graph中的点
AF(edges) = Graph中的边
:
点的名字不能重复
所有点都在中

文章插图
edge的权值为正
两点间的单向边最多只能有一条
from rep :
成员变量与edges均用 final修饰，防止其被外部修改
在涉及返回内部变量时，采用防御性拷贝的方式，创造一份新的变量
2. ( )
( )部分就是针对RI设计出检查代码。比如，在RI中有一条“edge的权值为正”，则在 ( )中需要用语句检查edge的成员是否大于0，在每次运行方法（如add，set）且修改了成员变量后，需要在前调用 ( )进行检查。
3.方法的具体实现
在实现h和时，MIT的页面要求先用型，再用泛型L，其实可以直接用泛型L来写，节省后续改的工作量。若用泛型L来写，则需要将两个ADT的部分内容修改为如下：
public class ConcreteEdgesGraph implements Graph { ... }class Edge { ... }
和
public class ConcreteVerticesGraph implements Graph { ... }class Vertex { ... }
相关方法的具体实现在这里暂且不表，在完成方法的实现后，可以通过前面写的测试用例来检验方法编写是否正确，并看看代码覆盖度，有哪些代码没有覆盖到。（实验要求代码覆盖度尽可能达到100%）
在这里简单讲一下IDEA的代码覆盖度测试：
运行之后：
另外注意，两个ADT中需要分别实现成员Edge与成员，在st与hTest中，需要完成对Edge与各自成员方法的测试。
4.实现Graph.empty ( )
这一部分要求我们对Graph.java中的empty ( )方法进行实现，具体来说，就是让empty ( )方法返回两个具体ADT中的一个，如图：
完成后，在中补充测试代码，具体来说，就是模仿已有代码，验证在，等类型下是否正确，如图：
三、 Walks
到此，我们已经完成了MIT页面上的 1~3，开始解决 4 。
1.题目意思梳理（结合MIT页面和spec看）
在这一步中，需要依据语料生成一个单词图，单词图的每个顶点是语料中的一个单词，单词图的边代表前一个单词紧接着后一个单词，边的权重为前一个单词紧接着后一个单词的次数，并且不考虑大小写与标点符号。举个例子：
hello,hello,HeLlo,world!
其中，hello→hello出现两次，hello→world出现一次，则这个语料构成的图为：
更加具体的示例可以参照MIT实验官网的页面。
在根据语料构造好图后，下面需要完成的任务是：输入一个句子，提取出句子两两相邻的单词对，在图中进行一次检索，若句子的前后两单词w1→w2在单词图中隔着一个顶点b，则将b加入句子中，得到w1→b→w2 。具体的构建规则如下：
① w1与w2间只能间隔一个顶点，这也就是说，如果在图中出现了w1→a→b→w2，甚至间隔更多的情况，则不会在w1→w2间加入单词。
② 如果从w1到w2同时有两条路径w1→a→w2与w1→b→w2，则选择权重最高路径上的单词加入w1与w2之间。
③ 输出的句子中原单词的大小写保持不变，加入的单词全用小写。
④ 可以存在指向自己的边，即该图可以是带环图。
2.编写测试用例
在理清思路后，我们可以着手开始编写测试用例，具体的测试策略为编写Poem与方法的测试用例，对于Poem，采用不同的语料，测试能否得到正确的输出；对于，则用不同用例测试方法的正确性。
举个例子如图：
在mugar-omni-.txt中保存着语料
This is a test of the Mugar Omnisound .
此条测试的意义是输入句子input，经过图处理后，检验输出是否与我们的预期相同。
3.具体实现Poet
在中，我们需要依次实现三个方法：
1) 构造方法
在的构造方法中，我们需要读取文本文档，并由其中语料按照前文所阐述的方法生成一个单词图。具体实现方式为：输入文件路径并按行读入，将单词进行切分，进行删除标点符号，大写转小写等预处理，每次取相邻元素在图中添加新边。
2) 生成句子方法Poem
Poem方法输入一个参数作为原始句子，输出根据单词图匹配过的，扩充了 words的新句子。具体实现思路为一次读入两个单词，检索前一个单词子节点的子节点，若其中包含后一个单词，则选择途径通路权重最高的一路，将该路上途径节点表示的单词加入原来两单词之间。
3) 方法
简单重写方法，将整个图中所有点的指向转化为一条字符串输出。
4.测试代码覆盖度
代码覆盖度建议尽量达到100%
四、重构Lab 1中的
这一环节要求我们基于在前面步骤中定义的Graph及其两种实现，将泛型L替换为，按照Lab1中的要求，实现Lab13中的各种功能，并且尽可能复用我们在前文构造的类中已经实现的方法。最后，运行提供的main ( ) 和执行Lab1中的Junit测试用例，确保其正常运行。
有Lab 1的基础，这部分的重构算是比较快的。利用st与hTest其一便可完成。测试代码与main函数之间copy，略加修改就可。
总结
总得来说，Lab 2相较于前几届的版本，难度降低了很多，但仍有不易理解的地方，需要花一些时间才能完成。