1.白盒测试
白盒测试(逻辑驱动测试)是一种结构测试。白盒测试总体上划分为:静态测试和动态测试。实施方式划分:手工测试、自动化测试等。
2.白盒测试方法
2.1 静态测试:代码检查(包括:代码走查、桌面坚持、代码审查等)、静态结构分析(以图形的方式表现程序内部结构)、代码质量度量法。
2.2 动态测试:功能确认与接口测试、逻辑覆盖分析法、基本路径测试法、性能分析与内存分析。
2.3 其他测试方法:域测试、程序变异测试、符号测试、数据流测试、Z路径测试。
3.白盒测试最常用技术——代码覆盖率分析(Code Coverage Analysis)
代码覆盖分析包括:逻辑覆盖、路径相关覆盖
4.逻辑覆盖
4.1 语句覆盖(SC):被测程序每个语句都至少执行一次。
4.2 判定覆盖(DC):又称分治覆盖,使程序中的每一个判定都至少获得一次“真值”和“假值”的机会。(eg:if(a<c&& b<c))
4.3 条件覆盖(CC):对每个判定中所包含的若干条件,是的判定中的每个条件都取到一次“真值”和“假值”的机会。(eg:条件a<c、 b<c)。
4.4 判定/条件覆盖(CDC):判定中每个条件所有可能结果至少出现一次,判定所有可能结果也至少出现一次。
4.5 条件组合覆盖(MCC):每个判定中条件结果的所有可能组合至少出现一次。
4.6 修正条件/判定覆盖(MC/DC):判断中的每个条件必须能够独立影响一个判断。(eg:两个条件X&&Y,取值:TT、TF、FF)。
5.路径覆盖
程序的每条肯执行到的路径都至少经过一次。