唉,之前的测试我没看到,看到的时候已经过了猴年马月了。就这么地吧。
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