数据流测试
关注点上的变量的操作是否正确
关于变量的操作:
· 定义:赋值、初始化……
· 使用
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