软件测试软件测试方法概述.ppt

图的覆盖标准：基本 节点覆盖: 每个节点至少覆盖一次 边覆盖： 每个可到达的长度=1的路径至少覆盖一次。 边-对覆盖：每个可到达的长度=2的路径至少覆盖一次。 Path(t1)=[1,2,3,4,5] Path(t2)=[1,2,3,5] Path(t3)=[1,3,5] Path(t4)=[1,3,4,5] 节点覆盖= {t1} 边覆盖= {t1,t3} 边-对覆盖={t1,t2,t3,t4} 1 2 3 5 4 节点集={1,2,3,4,5} 边集={[1,2],[1,3],[2,3],[3,4],[3,5],[4,5]} 边-对集={[1,2,3],[1,3,4],[1,3,5],[2,3,4],[2,3,5],[3,4,5]} 【例】 图的覆盖标准：复杂（带环路） 准备知识： 独立路径：至少包含1条在其它独立路径中从未出现过的边的路径。 简单路径：除了第1个和最后1个节点可能是同一节点，没有节点在路径中出现多于1次。 主路径：最长的简单路径。 1 3 2 5 4 独立路径={[1,2,3],[1,2,3,4,2,5]} 简单路径={[1,2,5],[1,2,3,4],[2,3,4,2], [3,4,2,3], [4,2,3,4],[3,4,2,5]} 【例】 图的覆盖标准：复杂（带环路） 完全路径覆盖：覆盖所有测试路径 独立路径覆盖：覆盖每一条独立路径 主路径覆盖: 覆盖每一条主路径 1 3 2 5 4 完全路径覆盖：假如[1,2,3,4,2,3,4,2,3,4….5]，带环路不可行 独立路径覆盖={t1,t2} 主路径覆盖={t1,t3} Path(t1)=[1,2,5] Path(t2)=[1,2,3,4,2,5] Path(t3)=[1,2,3,4,2,3,4,2,5] 独立路径={[1,2,5],[1,2,3,4,2,5]} 简单路径={[1,2,5],[1,2,3,4],[2,3,4,2],[3,4,2,3],[4,2,3,4],[3,4,2,5]} 【例】 练习：图覆盖 （1）列出满足节点覆盖但不满足边覆盖的测试路径 （2）列出满足边覆盖但不满足边对覆盖的测试路径 （3）列出满足独立路径覆盖但不满足主路径覆盖的测试路径 节点集= {1,2,3,4} 边集 = {[1,2],[1,4],[2,3],[3,2],[2,4]} 边-对集={[1,2,3],[1,2,4],[2,3,2],[3,2,3],[3,2,4]} ② 独立路径={[1,4],[1,2,4],[1,2,3,2,4]} 主路径={[1,4],[1,2,3],[1,2,4],[2,3,2],[3,2,3],[3,2,4]} ③ Path(t1)=[1,4] Path(t2)=[1,2,4] Path(t3)=[1,2,3,2,4] Path(t4)=[1,2,3,2,3,2,4] 节点覆盖= {t3} 边覆盖= {t1,t3} 边对覆盖= {t2,t4} 独立路径覆盖={t1,t2,t3} 主路径覆盖= {t1,t2,t4} t3 t1,t3 t1,t2,t3 1 3 2 4 逻辑覆盖 逻辑表达式（谓词）：运算结果是布尔值的表达式，由逻辑运算符构成内部结构，例： ∨, ∧ ? ，⊕ ，→ ，? 子句：不含任何逻辑运算符。 ((ab) ∨ C ∧ p(x) 子句 谓词 【例】列出所有零售价在100美元以上或库存超过20件的无线鼠标。 再列出售价在50美元以上的无线鼠标 a b c (a∨b)∧c 请采用逻辑表达式表达此需求 逻辑覆盖标准 谓词覆盖（分支覆盖）：每个分支的真假至少覆盖一次 子句覆盖（条件覆盖）：每个条件的真假至少覆盖一次 完全子句覆盖（条件组合覆盖）：每个条件真假组合至少覆盖一次 有效子句覆盖（MCDC）: 对于每个主子句的真假，选择次子句, 使得主子句决定谓词真假。 0 0 0 1 1 1 a b a ∨ b 0 0 0 0 1 1 a b a ∨ b 0 0 0 0 1 1 1 0 1 1 1 1 a b a ∨ b 0 0 0 0 1 1 1 0 1 0 0 0