第6章 软件实现3-白盒测试.pptVIP

等价类划分法边界值分析法错误推测法因果图法决策表方法 本次课主要内容 6.9.4 白盒测试技术-逻辑覆盖法 6.9.5 实用测试策略 6.10 软件调试、验证与确认 6.9.4 白盒测试技术 方法：逻辑覆盖法 包含：语句覆盖、判定覆盖 条件覆盖、判定条件覆盖 条件组合覆盖、点覆盖 边覆盖、路径覆盖 6.9.4 白盒测试技术-逻辑覆盖法 白盒测试的思想： 知道程序的逻辑结构 6.9.4 白盒测试技术-逻辑覆盖法 从程序入口到出口的路径数是520，即1014，若程序执行一次约需要1毫秒时间，则想用白盒测试技术发现所有的错误，使程序中每种可能的路径至少执行1次，需要： 花10亿年的时间。 6.9.4 白盒测试技术-逻辑覆盖法 结论： 运用白盒测试技术进行穷举测试是不切实际的，所以需要研究学习白盒测试的具体测试方法。 最典型的白盒测试方法：逻辑覆盖法 测试程序 6.9.4 白盒测试技术-逻辑覆盖法 1.语句覆盖 选择足够多的测试用例，使得被测试程序中的每条语句至少执行一次。 测试用例和执行路径： 输入:A=2,B=0,X=4，输出： A=2,B=0,X=3 路径：ace 1.语句覆盖 优点：可以直观的从源代