白盒测试方法论

白盒测试方法论

  • 白盒测试的度量

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

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

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

  • 代码覆盖率常见概念

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

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

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

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

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

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

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

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

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

  • 覆盖率统计的工具

emma

cobertura

jacoco

  • 插桩原理

对jvm的字节码插桩

基于block插桩

计算覆盖的代码块

image-27

  • JACOCO覆盖率报告

  • 流程覆盖

利用代码执行流代表流程

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

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

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

  • 某系统流程图

  • 百度Image搜索系统建模

  • 精准化测试

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

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

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

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

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