逻辑覆盖（语句覆盖 每条语句执行一次判定覆盖 一个判断过程，if真假各一次条件覆盖 if中的条件真假各一次判定-条件覆盖条件组个覆盖路径覆盖 执行流程所覆盖到的集合 ）循环覆盖（简单循环 嵌套循环串接循环不规则循环 无法测试）基本路径覆盖测试 流程图，图形矩阵数据流分析信息流分析白盒测试也有他的测试工具：Logiscope
UPC?
