19、软件测试：从容器到有界集的实践与优化

软件测试：从容器到有界集的实践与优化

1. 容器连接方法 connectTo 的测试

在对容器的 connectTo 方法进行测试时，需要考虑该方法的输入参数以及被连接的两个容器的当前状态。该方法的唯一前置条件是参数不为 null ，这可以作为特征 C3 纳入分析。同时， C3 还可以考虑另一个特殊值 this ，即尝试将容器与自身连接，这种情况下应视为无操作（NOP）。

connectTo 方法的主要作用是合并两组容器，因此可以根据合并操作前两组容器的大小来区分不同场景。这里将大小为 1 的组和大于 1 的组（用 2+ 表示）区分开来，分别用特征 C4 和 C5 表示。其中， C5 还包含额外的值 none ，当方法参数为 null 时使用，表示不存在其他组。另外，特征 C6 用于检查两组容器是否相同，即容器是否已经连接。

以下是为测试 connectTo 方法选择的特征总结：
| 名称 | 特征 | 块 |
| — | — | — |
| C3 | 参数值 | {null, this, other} |
| C4 | 本组大小 | {1, 2+} |
| C5 | 其他组大小 | {none, 1, 2+ } |