软件测试 day3

唉，之前的测试我没看到，看到的时候已经过了猴年马月了。就这么地吧。

u2 白盒测试

2.1 测试中的图

图是点和边的集合G={V,E}

q1：单点或者能不能构成一个图（即，集合E能否是一个空集）——我觉得可以

q2：边是否可能有无穷多个——点有限，则边有限，不可能无穷多

当有多个初始节点的时候，可以认为规定一个新节点，并令这个节点连接到所有初始节点上。这样可以归纳为一个初始节点。同理于终结节点。

路径

一系列点，相邻的两个点要构成一条边。以边的个数来定义路径长度

测试路径

一条从初始节点到终结节点的路径

2.2 图覆盖准则

覆盖：点或者边或者子路径就在测试路径里（直到现在，我还不知道这些到底说的有什么用）

测试需求：描述测试路径性质的定义

测试准则：描述测试需求的一些规则

2.3 结构化覆盖

顶点覆盖：测试需求集包含每一个可达顶点

边覆盖：每一个测试需求都是一个可达边，——点覆盖未必边覆盖

边对：相邻的两条边

边对覆盖subsume边覆盖subsume点覆盖（然而subsume本身什么意思我是不懂的）

2.4 控制流测试

while for do switch 等几种结构的图展示方法

2.5 数据流测试

定义覆盖和引用覆盖

2.6 Java用测试框架Junit