数据流测试

 

注意和cfg的区别，只有矩形框，没有菱形框，还有cfg的菱形框的内容变成了谓词，分直接点为空（NULLL）

 

术语和路径选择标准：全局c-use:

定义清纯路径：i~n1~..nn~j，在i到j之间没有被定义，也没有取消定义（不包括i和j节点）

例如：23456就不是清纯路径，但是2345就是清纯路径。因为节点5对TV重新定义了，（相对TV而言）

 

全局定义;

技巧：全局c-use向前看，然后def(全局定义）向后看，找清纯路径

 

简单路径：

 

 

注意全局定义和所有定义的区别：全局定义是一个点，然后所有定义是一条路径

 

所有定义的数据流测试标准：首先找到变量的全局c-use,然后找清纯路径

 

对于4-6，仅仅是对于i的引用,对于i不是p-use