软件构造实验2心得

一、任务描述

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

二、测试用例

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

三、方法规约

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

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

四、ADT的设计

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

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

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

总结：

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