数据流测试
关注点上的变量的操作是否正确
关于变量的操作：
· 定义：赋值、初始化……
· 使用
def(n) def(e)：节点n 边e上所有定义的变量
use(n) use(e)：节点n 边e上所有使用的变量
定义引用对（DU pair）：
控制流(li,lj)构成的DU对是指，在li定义，在lj使用的变量
定义清晰（Def-clear）：
从li到lj的路径上变量v是定义清晰的是指从li定到lj使用的中间，变量v没有被重新定义过
数据流的可达：
有一条定义清晰的路径，可以从li到lj
定义引用路径（DU Path）：
定义清晰并且是简单的一个子路径
du(ni, nj, v)：the set of du-paths from ni to nj
du(ni, v)：the set of du-paths that start at ni
1558
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
