以详细设计或源代码作为基础,导出程序的控制流图;

  计算得到的控制流图G的环路复杂性V(G);

  确定线性无关的路径的基本集;

  生成测试用例,确保基本路径集中每条路径的执行.

  2.6 其他白盒测试方法:域测试,符号测试,Z路径覆盖,程序变异