软件测试学习之白盒测试方法论

白盒测试方法论

白盒测试的度量

根据待测产品的内部实现细节来设计测试用例

白盒测试的执行手段是可以涵盖单元测试、集成测试

使用代码覆盖率作为白盒测试的主要度量指标

代码覆盖率常见概念

语句覆盖：每行代码都要覆盖至少一次

判定覆盖：判定表表达式的真假至少覆盖一次

判定/条件覆盖：判定覆盖与条件覆盖都必须覆盖

条件组合覆盖：判定表达式中的所有条件组合都需要覆盖

分支覆盖：控制流中的每条边都要被覆盖一次

路径覆盖：所有的路径都要尽量覆盖

指令覆盖：一行代码会被编译为多条指令，尽可能的覆盖所有指令

方法覆盖：每个方法至少要被覆盖一次

类覆盖：每个类至少被覆盖一次

覆盖率统计的工具

Emma(java)

Cobertura(java)

Jacoco(java,比较经典)

插桩原理（jacoco）

对jvm的字节码插桩

基于block插桩

计算覆盖的代码块

流程覆盖

利用代码执行流代表流程

流程覆盖用路径覆盖率表达

对流程进行裁剪获得一个适合业务的小规模的业务子集

流程覆盖率=测试经过的路径/业务子集路径

精准化测试

代码调用链与黑盒测试用例的关联

根据代码变更自动分析影响范围

黑盒测试过程中借助代码流程覆盖数据指导探索式测试

利用线上数据推导有效测试用例

代码流程分析与覆盖率统计