软件工程测试工具资料课件

- 判断结构的CFG表达 - 节点1代表了测试条件x<y，有不止一条出边，称为决策节点。节点4 有不止一条入边，称为汇合节点。 -