数据流测试学习

- 定义/使用测试 - - 定义引用拥有程序图G（P）的程序P和一组程序变量v。P中的所有路径集合是PATHS（P）。 - 第2页