文章目录二、实现两个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相较于前几届的版本,难度降低了很多,但仍有不易理解的地方 , 需要花一些时间才能完成 。
- 小蚁运动相机简介 小蚁运动相机软件下载
- 电脑软件打开了闪退 电脑打开软件闪退怎么办
- 快手同城怎么不更新位置 快手同城怎么不更新
- 三.系统测试
- 泰安医保下载安装 泰安医保交费下载什么软件
- 怎么注销爱聊账号 爱聊聊天软件怎么注销账号的?
- vivo手机怎么删除自带软件 Vivo手机怎么删除自带的软件
- 榜样阅读在哪个软件能看 酷我榜样阅读在哪
- 软件构造--Poetic walks
- 写字板是一种什么软件 写字板是一个小型的什么软件