白盒测试有哪些方法,白盒测试静态分析方法( 三 )


白盒测试的覆盖方法有哪些? 白盒测试用例设计技术可分为逻辑覆盖和路径覆盖 , 逻辑覆盖又可分为以下几种 , 从弱到强:
语句覆盖(SC):设计足够多的测试用例 , 确保每条语句都被执行过 。
判定覆盖(DC):设计足够多的测试用例 , 确保每个判定都分别取真值与假值 。
条件覆盖(CC):设计足够多的测试用例 , 确保每个条件都分别取真值与假值 。 (一个判定里可能包含多个条件)
判定/条件覆盖(DCC):设计足够多的测试用例 , 确保每个判定和条件分别取真值和假值 。
条件组合覆盖(CMC):设计足够多的测试用例 , 确保覆盖每个判定中的各个条件的所有组合情况 。 (只考虑同一个判定内的各条件组合情况)
路径覆盖:设计足够多的测试用例 , 确保每条路径都被执行 。 如果程序复杂 , 比如包含循环的情况 , 路径覆盖的测试用例数将会是个天文数字 , 无法实现 。 可以采用简化了的路径覆盖 , 即将循环看成是一个判定 , 只考虑循环被执行和未执行两种情况 。
白盒测试有几种方法 白盒测试的测试方法有代码检查法、静态结构分析法、静态质量度量法、逻辑覆盖法、基本路径测试法、域测试、符号测试、Z路径覆盖、程序变异
黑盒测试和白盒测试常用的方法有哪些 白盒测试又称结构测试、透明盒测试、逻辑驱动测试或基于代码的测试 。
白盒测试是一种测试用例设计方法 , 盒子指的是被测试的软件 , 白盒指的是盒子是可视的 , 你清楚盒子内部的东西以及里面是如何运作的 。
"白盒"法全面了解程序内部逻辑结构、对所有逻辑路径进行测试 。 "白盒"法是穷举路径测试 。 在使用这一方案时 , 测试者必须检查程序的内部结构 , 从检查程序的逻辑着手 , 得出测试数据 。 贯穿程序的独立路径数是天文数字 。
采用什么方法对软件进行测试呢?常用的软件测试方法有两大类:静态测试方法和动态测试方法 。 其中软件的静态测试不要求在计算机上实际执行所测程序 , 主要以一些人工的模拟技术对软件进行分析和测试;而软件的动态测试是通过输入一组预先按照一定的测试准则构造的实例数据来动态运行程序 , 而达到发现程序错误的过程 。
【白盒测试有哪些方法,白盒测试静态分析方法】在动态分析技术中 , 最重要的技术是路径和分支测试 。

推荐阅读