【软件构造】 实验二的心得体会

---

前言

本文介绍了我关于软件构造实验2的一些学习心得和经验和教训。

---

`

一、任务描述

在开始写这个实验时，感觉很困惑，不知道这个实验到底要做什么，第一步应该怎么做。在做完整个实验后，才明白整个流程。
首先，这个实验给了一个Graph接口，这个接口里包括一个静态方法和六个实例方法，我们要做的就是根据这个接口，实现两个具体的生成类，一个是ConcreteEdgesGraph（基于边完成），另一个就是ConcreteVerticesGraph（基于点完成），在这两个具体类里，我们的任务就是实现Graph接口中的六个实例方法，也就是重写。
但是，我们第一步并不是实现这两个实现类，而是要先写测试用例，这里就基于测试优先的思想。刚开始时，并不能理解为什么要测试优先，我连方法都没有实现，怎么测试呢。后来编写完整个实验后，才明白测试优先的重要性。
在Graph接口里，以及给了六个实例方法的规约（方法的功能，参数，以及返回值），所以我们就可以据此编写测试用例。先编写测试用例，能更全面的了解不同条件下，方法的对应输出，在实现方法时，我们也就可以想的更全面一些，同时也能实时测试我们实现方法的对错。

二、测试用例

如上文所说，我们要先编写测试用例。而任务描述中，我们有两个测试类，一个是GraphStaticTest（测试静态方法），另一个是GraphInstanceTest（测试实例方法）。那么我们要写的是GraphInstanceTest（测试实例方法）,而GraphStaticTest（测试静态方法）需要我们把两个具体类完成后再去实现。
要写测试用例，就要考虑到不同情况。我们可以根据方法的参数划分成不同情况，再用笛卡尔乘积的方法，获得全部情况。

比如在测试set方法时，我们可以按上图所示划分，将参数划分成不同情况，当然这里的边不是方法参数，但是它的不同也会影响set方法，所以也将其加入其中。根据这个测试策略，我们就可以针对set方法实现多种测试用例，如下图所示。(这里没有展示全)

三、方法规约

1.含义

方法的规约，就是来描述一个方法的功能，所需的参数和返回值。

2.意义

之所以要为每个方法写规约，其实在我们看Graph接口时就能明白。虽然Graph接口里并没有实现六个方法，但我们根据方法规约，就能明白方法实现的功能是什么，以及所需要的的参数类型和返回值类型。有了方法规约，调用该方法的客户端，就无须直到方法内部具体是如何工作的了，是一种抽象的表现。

3.示例

上图为remove方法的规约。首先写了方法实现的功能：从图中删除一个点，与这个点连接的所有边也被删除。@param是这个方法的参数：被删除的顶点。@return是这个方法的返回值：如果图中包含这个被删除的点，就返回真；否则就返回假。
这里还要注意，写方法规约要按照上述格式写，用/**，不能用//，目的是为了在调用方法时，方便的显示出规约，如下图所示。

四、设计ADT

1.AF

R:表示值构成的空间，实现者看到和使用的值。
A:抽象值构成的空间，client看到和使用的值。
AF就是一个抽象函数，即如何将R中的每一个值解释为A中的每一个值。

2.RI

RI为一个条件，描述了什么是"合法"的表示值。
还要编写checkRep方法来随时检查RI是否满足。

3.Safety from rep exposure

表示泄露的安全声明：证明代码并未对外泄露其内部表示。
对于可变量，要使用防御式拷贝。

4.示例

---

总结

1 测试优先很重要，帮助我们更全面的实现方法。
2 注意写方法的规约，设计ADT的RI,AF,和表示泄露的安全声明。