数据流测试

  注意和cfg的区别，只有矩形框，没有菱形框，还有cfg的菱形框的内容变成了谓词，分直接点为空（NULLL）   术语和路径选择标准：全局c-use: 定义清纯路径：i~n1~..nn~j，在i到j之间没有被定义，也没有取消定义（不包括i和j节点） 例如：23456就不是清纯路径，但是2345就是清纯路径。因为节点5对TV重新定义了，（相对TV而言）   全局定义; 技巧：全局c-use向前看，

>>阅读原文<<